blob: 5d989303a65478b05c7ad101f68e39ea3c1d9998 (
plain)
1
2
3
4
5
6
7
8
|
T15825.hs:14:10: error:
• Cannot generalise type; skolem ‘k’ would escape its scope
if I tried to quantify (x0 :: k) in this type:
forall k (a :: C k). X (a @x0)
(Indeed, I sometimes struggle even printing this correctly,
due to its ill-scoped nature.)
• In the instance declaration for ‘X (a :: *)’
|