fun foo(fun<T>(T)->T f) -> int@ {
  return f(1) + f(-1);
}

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

fun main() -> int@ {
  return foo(id);
}