static Nat<N${num}> N${num}() {
    return N${num}.instance;
  }