(\(`Natural/even`: Natural -> Bool) -> `Natural/even`) Natural/odd 0