Church numerals

Church numerals via rank-2 polymorphism