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


1
2
3
4
5
6
7


T8368a.hs:7:3: error:
    • Couldn't match type ‘Bool’ with ‘Int’
      Expected: Fam Int b
        Actual: Fam Bool b
    • In the result type of data constructor ‘MkFam’
      In the data instance declaration for ‘Fam’