add monad example