static string mkTuple(int i) { if (i <= 0) return "Unit"; if (i == 1) return "P0"; else return "Pair<" + mkTuple(i - 1) + ", P" + (i - 1) + ">"; }