blob: 668f9a1efcdb4472e461ca5ca7ca0e9e3e5747c7 (
plain)
1
2
3
4
5
6
7
8
|
T14498.hs:32:48: error:
• Pattern synonym existential ‘kk’ cannot be used here
(the existential variables of a pattern synonym
signature do not scope over the pattern)
• In the kind ‘kk -> k'’
In the first argument of ‘TypeRep’, namely ‘(a :: kk -> k')’
In the type ‘TypeRep (a :: kk -> k')’
|
