1ответов 13 Доказательство ассоциативности сложения натуральных чисел c использованием бесформенного Scala dependent-type proof scala shapeless
2ответов 21 Shapeless-превратите класс case в другой с полями в другом порядке labelled-generic scala shapeless