Haiku

From HaskellWiki
Revision as of 23:00, 5 December 2008 by Gwern (talk | contribs) (Monad haikus: source)

Jump to: navigation, search

Monad haikus

From Monad laws#But it doesn't look exactly like an "associative law"...:

Monad axioms:
Kleisli composition forms
a category.