Придумал забавный способ передать список из разных типов в функцию.

trait List {
  type Head;
  type Tail: List;

  fn split(self) -> (Self::Head, Option<Self::Tail>);
}

При этом трейт должен быть конкретный, для задачи, что бы в Head добавить нужный баунд.

В чем тут прикол, ведь так список как бы бесконечный получается, раз Head всегда есть?
В том то и дело, что с точки зрения типов - да, бесконечный.
Только в конце списка Tail = Void, а у Void уже оба Head = Void и Tail = Void.
Сам Void это очевидно enum Void {}, который реализует любые нужный трейты.
То есть это бесконечный список типов, бесконечный хвост которого - пустота.
А List::split просто вернет None хвост в "рантайме".

Функция, в которую передали такой список может продолжать делать split, пока хвост - Some(tail).
Ограничение этой конструкции в том, что функция не может делать split в цикле, там же разные типы. Так что она либо делает это рекурсивно, либо фиксированное максимальное количество раз в теле.

Ссылка на playground с демонстрацией идеи
https://play.rust-lang.org/?version=stable&mode=debug&edition=2024&gist=82105fbaa8d370dec34f00a5900793df