Haiku

From HaskellWiki
Revision as of 23:00, 5 December 2008 by Gwern (talk | contribs) (→‎Monad haikus: source)
Jump to navigation Jump to search

Monad haikus

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

Monad axioms:
Kleisli composition forms
a category.