У меня есть структура, мне нужно сгенерить для неё функцию, которая составит её описание.
Т.е. грубо говоря функцию, которая для каждого конструктора и поля будет принимать Text.
например
data A = A Int Bool | B Int Int
будет, что-то принимающее 6 текстов (можно tagged текстов). Есть ли что-то готовое и куда смотреть на неготовое?
Причина, хотелось бы "адекватным" способом генерить описания структурок, при этом не хочется ничего зашивать в сами типы полей (типа data = A (Tagged "text" Int) ...) т.к. с ними сразу становится неудобно работать. И не хотелось бы зашивать что-то одно, т.к. от i18n в итоге никуда не денешься