@hackage universe0.4.0.2

Classes for types where we know all the values

Munge finite and recursively enumerable types