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