testsuite/tests/dependent/should_fail/T16344a.stderr


1
2
3
4
5
6


T16344a.hs:11:36: error:
    • Expected a type, but ‘a’ has kind ‘ka’
    • In the second argument of ‘T2’, namely ‘a’
      In the type ‘(T2 Type a)’
      In the definition of data constructor ‘MkT2’