blob: 19fe2a0b12f157f3a03bee7fbfcb67f6c419ad8b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T16946.hs:11:9: error: [GHC-71451]
⢠Cannot generalise type; skolem âkâ would escape its scope
if I tried to quantify (x0 :: k) in this type:
forall k (c :: k -> k -> *)
(m :: forall (x :: k) (y :: k). c x y -> * -> *) a.
CatMonad @k c m =>
a -> m @x0 @x0 (Id @{k} @x0 c) a
(Indeed, I sometimes struggle even printing this correctly,
due to its ill-scoped nature.)
⢠In the type signature:
boom :: forall k
(c :: k -> k -> Type)
(m :: forall (x :: k) (y :: k). c x y -> Type -> Type)
a. CatMonad c m => a -> m (Id c) a
|