Church numerals in ruby.