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


1
2
3
4
5
6


SimpleFail14.hs:5:15: error:
    • Expected a type, but ‘a ~ a’ has kind ‘Constraint’
    • In the type ‘a ~ a’
      In the definition of data constructor ‘T’
      In the data declaration for ‘T’