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

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