blob: 5ef0fe2ef8a1b5f1482cdb62b25a8158bf86ebe0 (
plain)
1
2
3
4
5
6
7
8
9
|
T15807.hs:12:3: error: [GHC-71451]
• Cannot generalise type; skolem ‘f’ would escape its scope
if I tried to quantify (f0 :: f -> *) in this type:
forall f (a :: f). f a %1 -> App @f @f0 a
(Indeed, I sometimes struggle even printing this correctly,
due to its ill-scoped nature.)
• In the definition of data constructor ‘MkApp’
In the data declaration for ‘App’
|