Data.Universe.Instances.Trans
class
Universe
a
class
Finite
a