fun add1
(int const& x) -> int @;

fun apply
((fun((fun(int const&) -> int @) const&) -> (fun(int const&) -> int @) @) const& f, int const& x) -> int @;

fun id< T >
((fun(T const&) -> T @) const& x) -> (fun(T const&) -> T @) @;

fun main
() -> int @;