[monad.do_green] typo