Rethinking the list monad
-------------------------
To construct a monad, the key element is to settle on a type
constructor, and the monad more or less naturally follows from that.
We'll remind you of some examples of how monads follow from the type
Rethinking the list monad
-------------------------
To construct a monad, the key element is to settle on a type
constructor, and the monad more or less naturally follows from that.
We'll remind you of some examples of how monads follow from the type