blob: c141bfc44aedc2e489f31750dca0c6fdd2c3d842 (
plain)
1
2
3
4
5
6
|
T6018th.hs:98:2: error:
Type family equation right-hand sides overlap; this violates
the family's injectivity annotation:
H Int Int Int = Bool -- Defined at T6018th.hs:98:2
H Int Char Bool = Bool -- Defined at T6018th.hs:98:2
|