work on monad motivation article