B
скорее всего хлистом с маркерами
Size: a a a
2021 May 01
AN
но зачем Щ_щ
B
шоб убить тот злосчасный Index
AN
каким образом. Это же только билдер.
B
да, а там будет еще а стоп
B
все же проще
B
impl<I> trait Front for Back<I>
B
лол, и тип все
AN
втф?)
B
короче будет по 2 трейта на екст: с имплом и хлистом, и юзерский который его затирает
AN
так не сработает. Как ты можешь что то затереть в компайл тайм?
B
тоесть это, не никак?
AN
***максимум impl<I,BackStruct> trait Front for BackStruct: BackTrait<I>
AN
но так опять же ругается конпилятор
AN
ну это все где то рядом с теми фичами для которых нужна молитва.
B
вот 100% в хаскеле это на раз два
B
а на шо ругается
AN
unbound type parameter `I'
B
I+Selector так стоп
AN
возможно можно пенести пруф индекса в Backend ты прав