use existential types for Church numerals instead