13. For a Few Monads More, up to Making monads