impl SomeStruct {
    fn process<T>(v: T) -> <Self as GAT>::R<T>
    where Self: GAT<R<T> = T>
    {
        SomeStruct::do_something(v)
    }
}