universe-0.4.0.4: Classes for types where we know all the values
Munge finite and recursively enumerable types
Modules