testsuite/tests/polykinds/T17841.stderr


1
2
3
4
5
6


T17841.hs:7:45: error:
    • Expected a type, but ‘t’ has kind ‘k2’
    • In the kind ‘t’
      In the first argument of ‘Proxy’, namely ‘(a :: t)’
      In the type signature: foo :: Proxy (a :: t)