T9161-1.hs:8:14: error:
    • Pattern synonym ‘PATTERN’ cannot be used here
        (pattern synonyms cannot be promoted)
    • In the type signature: wrongLift :: PATTERN