fun id1< U >
(U const& x) -> U const&;

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

fun main
() -> int @;