Test.QuickCheck.Function
data Fun a b
data a :-> c
class FunArbitrary a