Version 1 of the monads talk