как-то в помощь?
нет, нельзя. с deriving via все равно надо будет инстанс декларировать для каждого класса по отдельности, хоть и тривиально, через дерайвинг
А какой у c тип? Type -> Constraint? Это же не обязательно класс
Обсуждают сегодня