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


1
2
3
4
5
6


SimpleFail14.hs:5:15:
    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’