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