Church numerals in C++14, C++11, and C++03.