I have this type-correct C# function:
static System.Tuple f(int n) { switch (n) { case 0: return null; default: return System.Tuple