Как часто вам не хватало встроенных в библиотеку средств кастомизации макро-генерируемых инстансов и приходилось писать инстанс вручную? А сколько раз "разъезжались" форматы представления sealed trait'ов при переходе с одной библиотеки на другую?

В этом докладе рассмотрим, как описать схему данных индифферентно к целевой библиотеке и сгенерировать консистентные относительно друг друга инстансы из этой схемы (например, Json-кодек и описание для OpenAPI). В процессе пробежимся по Fixpoint-типам, Free-аппликативам и научимся отличать типы с дырками высших порядков от смайликов.