testsuite/tests/th/T6018th.stderr


1
2
3
4
5


T6018th.hs:104:4:
    Type family equations violate injectivity annotation:
      H Int Int Int = Bool -- Defined at T6018th.hs:104:4
      H Int Char Bool = Bool -- Defined at T6018th.hs:104:4