# 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"...]]: |

− | Kleisli composition forms |
+ | |

− | a category.</blockquote> |
+ | <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.