\(T: Type) ->
{
    first: T,
    second: T,
} //\\ (env:rust_struct <Pair2> ? {})