Add description of NoNeedForMonad to README.