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