writing a pattern synonym body doesn't suggest enabling `-XPatternSynonyms` while writing the type signature does
Motivation
If I write
pattern X = 4
, I get Not in scope: data constructor X
whereas if I write
pattern X :: Int
, I get Perhaps you intended to use PatternSynonyms
Proposal
I would like to gt the suggestion in the former case as well. :)