/* Test coercion of argument. */
use "basic_models.g";

fun apply<T> where { Regular<T> }
((fun(T)->T@) f, T x) -> T@ {
  return f(x);
}

fun add1(int x) -> int@ { return x + 1; }

fun main() -> int@ {
  return apply(add1, -1);
}