“Monads turn control flow into data flow, where it can be constrained by the type system.” Oleg Kiselyov quoted in the paper "Monads are Trees with Grafting" b

“Monads turn control flow into data flow, where it can be constrained by the type system.” Oleg Kiselyov quoted in the paper "Monads are Trees with Grafting" by Dan Piponi