static string mkArgCount(int i) { if (i <= 0) return "Z"; else return "S<" + mkArgCount(i - 1) + ">"; }