instance Finite a => Universe [a]