Improve README, especially the monad part.