Test.QuickCheck.Poly

data A

data B

data C

data OrdA

data OrdB

data OrdC