рекорда на уровень типов селекторы (:: Symbol) вместе с типом данных? Мне в голову приходит думать в сторону type family над Rep a. Кто-нибудь подобным занимался? Это самый простой способ?
Для чего?
мне нужна валидация на уровне типов на вхождение одного множества тапйлевельных пар в другое
Обсуждают сегодня