Test.QuickCheck.Poly
data
A
data
B
data
C
data
OrdA
data
OrdB
data
OrdC