∀(x : Bool) → ∀(x : Natural) → Natural