†superfamily Nycteroleteroidea Romer 1956 (parareptile)
Parent taxon: Nycteroleterina according to M. F. Ivakhnenko 2008
Sister taxon: Elginioidea
Subtaxa: Tokosauridae
Ecology:
Distribution: found only at Pron'kino, PIN 521 (Permian of Russian Federation)