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