blob: 3ee27a82b3af701125dae74295323f0f58ebad84 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T15076b.hs:8: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 -> *).
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 -> ()
|