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