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);
};