blob: 1723b325fa0bdb2e6a3b7369cd4abc5395050b53 (
plain)
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’
|