Pattern Synonyms and type families

Is this a good idea though? Pattern synonyms are usually supposed to abstract the details of the actual access, but if we do this then changing a promotable pattern synonym to a non-promotable one becomes a breaking change.