Assertion: arrow | /r/HasProperty | a -m b
Facets:
Source sentences:
text: A Kleisli arrow (Kleisli m a b) is the arrow (a -> m b) for all monads.