@hackage universe0.0

Classes for types where we know all the values

A small package, in the spirit of data-default, which allows the munging of finite and recursively enumerable types