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.