Ну это ж известная вещь. Боттом гадит, с ним пропадает алгебраичность. Он бы ещё удивился некоммутативности or или нарушению x or true = true

Даёшь тотальные языки с санками!