λ(_ : Bool) → λ(_ : Bool) → _@1 && _