(λ(`Natural/even` : Natural → Bool) → `Natural/even`) Natural/odd 0