blob: d20a2226bef3a69f721169b5932231723592697b (
plain)
1
2
3
4
5
6
7
|
T17077.hs:7:13: error: [GHC-91028]
• Expected kind ‘forall (k :: k1). a’, but ‘z’ has kind ‘k0’
Cannot instantiate unification variable ‘k0’
with a kind involving polytypes: forall (k2 :: k1). a
• In the first argument of ‘Proxy’, namely ‘(z :: forall k. a)’
In the type signature: t :: Proxy (z :: forall k. a)
|