static string mkNVParams(int i) { if (i == 0) return "<R>"; else return "<" + mkInnerParams(i) + ", R>"; }