#line 1 "-"
#line 1 "test/poly_fun.g"
fun myid<T>(T x) -> T {
  return x;
}

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