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

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

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