Introduce a copy of `All About Monads` tutorial