This is an attempt to emulate polymorphic types for the purposes of testing by using abstract monomorphic types.

It is likely that future versions of QuickCheck will include some polymorphic emulation testing facility, but this module can be used for now.