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