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