сконвертировать один "рекорд" дата тип в другой с учётом следующих ограничений:
1) Типы полей обоих "рекордов" уникальны (в противном случае пусть будет ошибка компиляции)
2) Если исходный "рекорд" содержит больше полей, чем результирующий, то "лишние" просто не копируются
3) Если исходный "рекорд" содержит меньше полей, чем результирующий, то недостающие должны быть переданы в качестве параметров (например, с использованием HList, или дать второй "рекорд", содержащий недостающее)
Не сталкивались с таким? А то вот эти портянки в виде "появилась новая версия типа с 50 полями, там добавлось ещё два и давайте руками его переконструируем" как-то некрасиво.
convert ПервыйРекорд{..} Недостающие{..} = ВторойРекорд{..}
Обсуждают сегодня