There's more than just a negation that is possible here, the op-parameter needs to be constrained.