Continuation of the monoid monad example and introduction of the category monad.
No download links available.
