church_encoding C++版实现
namespace ChurBool{//church bool To normal boolauto ToNormalBool = [](auto&&f){ return f(true, false);};auto True = [](auto&&m, auto&&){ return m;};auto False = [](auto&&, auto&&n){
