промоученном X {rec1 :: A, rec2 :: B, rec3 :: C} заменят значение rec3 на что нибудь новое? Пока что очень много бойлерплейта вида type family SetRec3 c x where type SetRec3 c (X a b _) = X a b c , который ещё и поддерживать при добавлении новых параметров надо
Какой нибудь vynil или superrecords пробовали?
У меня проблема исключительно тайп левельная, тип X ненаселённый, кажтеся это не про то
Обсуждают сегодня