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