var teven = tco(function (n) {
    if (n == 0) return tco.value(true);
    else return [todd, [n - 1]];
});