path: root/testsuite/tests/indexed-types/should_fail/SimpleFail14.stderr

SimpleFail14.hs:5:15:
    Predicate used as a type: a ~ a
    In the type `a ~ a'
    In the definition of data constructor `T'
    In the data type declaration for `T'