libghc-universe-dev 0.4.0.4-1build2 (i386 binary) in ubuntu utopic

 Munge finite and recursively enumerable types. It provides the
 Universe class, which is a declaration that your type is recursively
 enumerable (and that universe is that enumeration). In particular,
 you promise that any finite inhabitant has a finite index in
 universe, and that no inhabitant appears at two different finite
 indices. It also provides the Finite class, which is a declaration
 that your universe eventually ends.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.