blob: a923fe778e57a34311926fd349ecc5c51432c33b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T16946.hs:11:9: error:
⢠Cannot generalise type; skolem âkâ would escape its scope
if I tried to quantify (y0 :: 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 @y0 @y0 (Id @{k} @y0 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
|