Пакуют всё-равно из одних исходников, ну может быть с патчами.

С кучей патчей обычно

Кому понятно?

у семейства debian один пакетный менеджер: debian, mint, ubuntu, etc etc

И миллиард репозиториев

Что тоже не оч дефрагментирует

сам компилируй как настоящий мужчина

и make install

И вот она консистентность?)

это грубая мужская сила

нафиг консистентность

nix, xbps, portage

@odessa_virtual меня посетила идейка. По сути всё что нам нужно это субтайпинг.
Т.е. мы в каком-то месте программы сделали список расширений. let ctx = Context<Hlist![e1, e2, e3, e4]>::init();
В другом месте от нас требуется такая херня: foo(&ctx: C) where C = E1 + E3;
Соответсвенно нам нужно доказать конпиляторы что елементы находятся в списке.
Один вариант это перенести доказательство в определения функции foo тогда будет но не очень удобно.
Другой вариант это перенести доказательство в место вызова.
и тогда будет примерно то что Путешественник сделал.
просто в момент init() задаем порядок елементов как я сделал в ConstIndexDef варианте только лучше. Получается индексы в любой момент воводятся сами. Поэтому билдер или context можно носить по функциям в обобщемнном виде сколько хочешь. Просто в нужный момент делаем создаем специальную структура которая хранит выведденные индексы.

Таким образом на не надо иметь фиксированный айди для каждого расширения глобально. А только локально.

а чем она лучше случая с typenum кроме глоб. номера?

вообще номер не используется

typenum

часть апи может быть таким

fn with1and2<X>(x: &X) where X: Ext1 + Ext2 {
    x.do1();
    x.do2();
}

часть таким

let ctx = Instance::<Hlist![M1, M2, M3]>(PhantomData);
// любая глистовая магия

чтобы связать надо делать так

    create_index_store_struct![LocalStore, M1, M2];
    // будет struct LocalStore<I1, I2>(PhantomData<(I1, I2)>)