Pattern Synonyms and type families

If you require an explicit annotation on the pattern, like promotable pattern or basic pattern, the declaration of the pattern synonym opts in to using promotable pattern synonyms.