This is my feeling as well.
However, if I am given a new rule that is as simple to understand as if some P appears anywhere in a declaration, the underlying type for that opaque type is chosen by the author of the declaration, then I'm willing to upgrade myself.