References. Notions of Computation and Monads (Moggi) Monads for Functional Programming (Wadler) Tags: arrow notation, syntax for monads.
