/* Test coercion of polymorphic argument. */

fun apply((fun(int)->int) f, int x) -> int {
  return f(x);
}

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

fun main() -> int@ {
  return apply(id, 0);
}