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 IvanMiljenovic.wordpress.com