# Haiku

### From HaskellWiki

(Difference between revisions)

(→Monad haikus: source) |
|||

Line 1: | Line 1: | ||

== Monad haikus == | == Monad haikus == | ||

− | <blockquote>Monad axioms: | + | From [[Monad laws#But it doesn't look exactly like an "associative law"...]]: |

− | + | ||

− | + | <blockquote> | |

+ | Monad axioms:<br/> | ||

+ | Kleisli composition forms<br/> | ||

+ | a category. | ||

+ | </blockquote> |

## Revision as of 23:00, 5 December 2008

## Monad haikus

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

Monad axioms:

Kleisli composition forms

a category.