ZERO.js

var ZERO = function (f) {
	return function(z) {
		return z;
	};
};

var SUCC = function (n) {
	return function (f) {
		return function (z) {
			return f(n(f)(z));
		};
	};
};