Data.Universe.Instances.Trans

class Universe a

class Finite a