working on monad examples