kleisliArbitrary

arbitrary

kleisliAssociativity

FlatMapLaws

kleisliLeftIdentity

MonadLaws

kleisliRightIdentity

MonadLaws