testsuite/tests/indexed-types/should_fail/T7938.stderr


1
2
3
4
5
6


T7938.hs:12:17: error:
    • Expected a type, but ‘KP :: KProxy k2’ has kind ‘KProxy k2’
    • In the type ‘(KP :: KProxy k2)’
      In the type instance declaration for ‘Bar’
      In the instance declaration for ‘Foo (a :: k1) (b :: k2)’