extended the Monad examples