fun apply< T >
((fun< U >(U const&) -> U const&) const& f, T const& x) -> T const&;

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

fun main
() -> int @;