λ(_ : Bool) → _