blob: aeb0f73b9bd16657730f3dcc9790c345f0411645 (
plain)
1
2
3
4
5
6
7
|
T15862.hs:16:16: error:
• 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
|