Added slides for having multiple monads of the same type in a monad transformer