[[Course - Functional Programming MT22]]U Non-examinable. Was about monads, which are really just monoids in the category of endofunctors.