[Haskell-cafe] in-equality type constraint?

Ivan Lazar Miljenovic ivan.miljenovic at gmail.com
Fri Jul 16 20:12:43 EDT 2010

Paul L <ninegua at gmail.com> writes:

> Does anybody know why the type families only supports equality test
> like a ~ b, but not its negation?

At a guess, solely because no-one has implemented such functionality.

Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com

More information about the Haskell-Cafe mailing list