Monads as described in Monads for functional programming [Philip Wadler, 1992]
- 01 Introduces a basic evaluator and outlines the concepts of exceptions, state and output
- 02 Presents the monadic solutions to those concepts
- 03 Concludes with the monad laws
"Shall I be pure or impure?"
A monad is a triple (M,unit,★) consisting of a type constructor M and two operations of the given polymorphic types.
TODO
TODO