This talk was a sequel to Ross Street's talk Monads and extended distributive laws. It has since become the subject of a preprint, entitled The formal theory of monads II.