blob: 827b2bcdcc2f043c5f6c1930cf7f338a3167da55 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T15076.hs:11:8: error: [GHC-71451]
• Cannot generalise type; skolem ‘a’ would escape its scope
if I tried to quantify (x0 :: a) in this type:
forall a (f :: forall (x :: a). Proxy @{a} x -> *).
Proxy @{Proxy @{a} x0 -> *} (f @x0) -> ()
(Indeed, I sometimes struggle even printing this correctly,
due to its ill-scoped nature.)
• In the type signature:
foo :: forall (a :: Type) (f :: forall (x :: a). Proxy x -> Type).
Proxy f -> ()
|
