kleisliAssociativity

FlatMapLaws

kleisliLeftIdentity

MonadLaws

kleisliRightIdentity

MonadLaws