Динамически параметризовать функцию Poly1 в бесформенном

У меня такая ситуация (урезанная до основных частей)

Не удается доказать, что одноэлементные типы являются одноэлементными типами при создании экземпляра класса типов

Предположим, у меня есть класс типов, который доказывает, что все типы в Shapeless coproduct являются одноэлементными типами:

Карта и уменьшить / сложить HList of scalaz.Validation

Я начал с чего-то вроде этого:

Как потребовать типизированного массива постоянного размера в Scala?

Мне нужно что-то вроде этого:

Shapeless - превратить класс дела в другой с полями в другом порядке

Как перебрать все виды продуктов в побочном продукте с использованием бесформенного?

Допустим, у меня естькопроизведение (запечатанная черта), такие как

Преобразование Map [String, Any] в класс case с использованием Shapeless

ВопросВот спрашивает о сопоставлении класса дела с картой [String, Any]. Мне было интересно, что будет наоборот, преобразование Map [String, Any] в case-клас...

Ошибка неявного разрешения?

Я работал над реализацией "бесформенного стиля"Плотная двоичная система счисления Окасаки, Это просто связанный список битов на уровне типов; своег...

Получение экземпляров классов типов для классов случаев с ровно одним полем

Я работаю над библиотекой разбора CSV (пластинчатый). Для кодирования / декодирования используются классы простых типов: например, кодирование выполняется с ...

Изменить конструктор класса case?