use "basic_models.g";

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

fun three<T>(T x) -> int@ { 
  return 3;
}

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