mtoohey.com
Monad
Control Flow Monad
An example of an interesting application of monads for an interpreter in OCaml.