генерить datatype его конструкторов (ну и проектцию туда)?
Казалось бы какая-то очень часто нужная вещь, но не вижу.
Еще связанная задача: генерить из конструктара-рекорда отдельный тип-рекорд. Типа иначе призмы возвращают Tuple, но это же не юзабельно совершенно.
почему бы не вынести этот рекорд из оригинального типа?
Потому что: 1. тип может быть и не мой 2. это тонна бойлерплейта, например в плане экспорта/импорта из модуля Собственно PS похоже так примерно и делает :D
Обсуждают сегодня