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.
|type ALPHA = Poly ALPHA_||Source|
|type GAMMA = Poly GAMMA_||Source|
|type OrdALPHA = Poly OrdALPHA_||Source|
|type OrdBETA = Poly OrdBETA_||Source|
|type OrdGAMMA = Poly OrdGAMMA_||Source|
|Produced by Haddock version 0.8|