added example codes of Monad