blob: 76bdaee542f04e52d9f0623331c073ec7c0c83f9 (
plain)
1
2
3
4
5
6
7
|
T15862.hs:16:16: error: [GHC-91028]
• Expected kind ‘k0’, but ‘MkFoo’ has kind ‘(forall a. a) -> Foo’
Cannot instantiate unification variable ‘k0’
with a kind involving polytypes: (forall a. a) -> Foo
• In the first argument of ‘TypeRep’, namely ‘MkFoo’
In the type signature: foo :: TypeRep MkFoo
|