Здравствуйте, lomeo, Вы писали:

L>

L>[_,42] != [42,_]
L>

Имеется в виду, что сравнение не симметрично. И если _ == 42, то уже 42 != _
А раз контракт для сравнения нарушен, то использование этого приёма становится опасным.