[Haskell-beginners] Unequal types constraint

Imants Cekusins imantc at gmail.com
Fri Feb 12 11:43:57 UTC 2016


class C a b

instance C Int a    -- when a /= Int

instance C a a     -- when a == a


how would you do this without IncoherentInstances?


More information about the Beginners mailing list