Extend example for Monads