blob: 92c1adb57b79b75d537501eaf32ca9e3c56f6b8a (
plain)
1
2
3
4
5
6
7
8
|
T14552.hs:22:1: error:
• Cannot generalise type; skolem ‘k’ would escape its scope
if I tried to quantify (t0 :: k) in this type:
forall k (w :: k --> *). Exp a0 (F @k @(*) w t0)
(Indeed, I sometimes struggle even printing this correctly,
due to its ill-scoped nature.)
• In the declaration for pattern synonym ‘FOO’
|