Э
match по этим вариантам, причём первая ветка будет Coproduct::Inl(T), вторая - Coprod::Inr(Coproduct::Inr(U)) и т.д. Это возможно сделать с помощью macro_rules!?https://github.com/dtolnay/case-studies/blob/master/integer-match/README.md
Но это не совсем то что тебе нужно.

