tru = function(t) { return function(f) { return t; }; }; fls = function(t) { return function(f) { return f; }; }; pair = function(a) { return function(b) { return function(f) { return f(a)(b); }; }; }; fst = function(p) { return p(tru); }; snd = function(p) { return p(fls); };