Data.Universe

class Universe a

class Finite a