Namespace: Hedgehog
Assembly: Hedgehog.dll
f g
'a -> 'b
Gen<'a>
Gen<'b>
gf <*> g
Gen<('a -> 'b)>
g >>= f
'a -> Gen<'b>