case analysis for finite types
case analysis for finite types

Ignore-this: 6ec1076b2a74f5832501a105a28a6dba

darcs-hash:20140124012505-f399b-9aaaf1c969feffd7149055c497c534236cb8ac23

robdockins/domains