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

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

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