1 2 3 4 5
T6018th.hs:97:4: Type family equations violate injectivity annotation: H Int Int Int = Bool -- Defined at T6018th.hs:97:4 H Int Char Bool = Bool -- Defined at T6018th.hs:97:4