# Pattern Synonyms

Pattern synonyms permit abstracting from the representation to expose matchers that behave in a constructor-like manner with respect to pattern matching.

## Limitations

• You can’t generally write COMPLETE pragma for polymorphic pattern synonyms; this is a limitation of GHC.