Avoid relying on `apply`'s reduction behavior.
This is in preparation for https://github.com/coq/coq/pull/991, but is compatible with Coq's master.
This is in preparation for https://github.com/coq/coq/pull/991, but is compatible with Coq's master.