blob: 554a4e0a32cca902b81e08a5305a6d1bb8702d48 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T14040A.hs:13: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 -> ()
|