Data.Universe.Class

class Universe a

class Finite a