Adding monad examples