testsuite/tests/patsyn/should_fail/T14552.stderr


1
2
3
4
5
6
7
8
9


T14552.hs:22:9: error:
    • Universal type variable ‘aa’ has existentially bound kind:
        aa :: k
      Existentially-bound variables:
        k :: *
        w :: k --> *
      Probable fix: give the pattern synonym a type signature
    • In the declaration for pattern synonym ‘FOO’