Re: [Haskell-cafe] in-equality type constraint?

Paul L 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@gmail.com IvanMiljenovic.wordpress.com