fun id1<U>(U x) -> U {
  return x;
}

fun id2<T>(T x) -> T {
  return id1(x);
}

fun main() -> int@ {
  return id2(2) - 2;
}