blob: 176b198b99158652d2ec2fc559cf47b3ad881b33 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T14040A.hs:13: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 -> *).
S @(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). S f -> ()
|