testsuite/tests/typecheck/should_fail/PatSynExistential.stderr


1
2
3
4
5


PatSynExistential.hs:6:1: error: [GHC-33973]
    • The result type of the signature for ‘P’, namely ‘x -> Maybe x’
        mentions existential type variable ‘x’
    • In the declaration for pattern synonym ‘P’