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


1
2
3
4
5
6
7


SimpleFail14.hs:5:15:
    Predicate `a ~ a' used as a type
    Expected kind `ArgKind', but `a ~ a' has kind `Constraint'
    In the type `a ~ a'
    In the definition of data constructor `T'
    In the data type declaration for `T'