Tweaked Church numerals example.