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

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

fun main
() -> int @;