More on monad-comp; an intermediate state, so don't pull

No match.