Data.Universe.Class
class
Universe
a
class
Finite
a