Jan 05 2010
∞
“ Monads turn control flow into data flow, where it can be constrained by the type system.
— Oleg Kiselyov
