words, `fun x -> [x]` is a reasonable choice for a unit.
As for bind, an `'a list` monadic object contains a lot of objects of
type `'a`, and we want to make use of each of them (rather than
arbitrarily throwing some of them away). The only
thing we know for sure we can do with an object of type `'a` is apply
words, `fun x -> [x]` is a reasonable choice for a unit.
As for bind, an `'a list` monadic object contains a lot of objects of
type `'a`, and we want to make use of each of them (rather than
arbitrarily throwing some of them away). The only
thing we know for sure we can do with an object of type `'a` is apply