added monad example.