add monad examples