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