@odomontois, а не было планов добавить в тофу модуль для интеропа с shapeless, чтобы туда засунуть например выведение инстансов Subset для Coproduct?
Я всё о том же менеджменте ошибок, хочу один и тот же набор ошибок в разные иерархии объединять и чтобы потом Raise с этим со всем работал