Made the first monad, (monad is a mononid in the category of the endofunctors).
Mantain the context, into map, ap, and chain using a CPS next, can be maden by more.
Next step append stream.
- LinkedList(using cata): Semigroup, Monoid, Chain, Apply, Applicative, Foldable
- exercises/link-list
- Stream
- Task: given test for apply and chain:
- exercises/ask-name
- Maybe
- Either
- Identity
- ...