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


1
2
3
4
5
6


T8368.hs:9:3:
    Data constructor ‛MkFam’ returns type ‛Foo’
      instead of an instance of its parent type ‛Fam a’
    In the definition of data constructor ‛MkFam’
    In the data instance declaration for ‛Fam’