blob: fca04623b042de0c57f69340c7cebc82865938cf (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T14040A.hs:12:8: error:
• 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 -> ()
|
