Paul L <nine...@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.miljeno...@gmail.com
IvanMiljenovic.wordpress.com
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to