blob: cb097568e43492f03780e9c26694bc83cc9363c4 (
plain)
1
2
3
4
5
6
7
|
T22743.hs:10:1: error: [GHC-31147]
• Quantified type's kind mentions quantified type variable
type: ‘forall {f :: * -> RuntimeRep} {g} {a :: TYPE (f g)}. a’
where the body of the forall has this kind: ‘TYPE (f g)’
• When checking the inferred type
x :: forall {f :: * -> RuntimeRep} {g} {a :: TYPE (f g)}. a
|