test with Church numerals