Test.QuickCheck.Poly
type ALPHA
type BETA
type GAMMA
type OrdALPHA
type OrdBETA
type OrdGAMMA