То что внутриязыковой Bool не сильно годен для эквационального резонёрства, это понятно. Я о том, что в просто типизированной лямбде выразить этот простейший тип "естественным образом" не очень удаётся.