Всем привет, подскажите, как можно удобне решить следующее. Нужна сумма

Question

Всем привет, подскажите, как можно удобне решить следующее. Нужна сумма

типов. Конкретнее, метод-обработчик HTTP запроса может вренуть один из возможных вариантов данных. Каждый вариант представленным своим типом (case class). Одни и те же типы могут возвращаться разными методами обработчиками. Из-за этого, чтобы можон было исопльзовать представление суммы типов через sealed trait нужно или кейс классы наследовать от несколкьих трейтов, а это выглядит странно в том числе семматически, так как в данные просачивается инородная информация вида, какой метод их возвращает/принимает. Другой вариант - создавать sealed trait и кейс классы обертки, которые будут заключать в себя исходные кейс классы, лучше, но обилие однообразного кода удручает.
Пока наиболее интересным выглядит Coproduct из Shapless. Но если конвертировать case class в Coproduct содержащие этот тип и потом накинуть для этого Json кодер/енкодер понятно как, то как сделать обработку Coproduct элегантно у меня вызвало затруднение. Из идей собственно использовать петрн матчинг с Inl/Inr, в принципе это решает проблему + есть проверка компилятором на полноту матчинга, но выглядит немного криво:
type Type = Foo :+: Bar :+: Qoo :+: CNil

def handler1(g: Group): Unit = g match {
case Inl(foo) => ???
case Inr(Inl(bar)) => ???
case Inr(Inr(Inl(qoo))) => ???
case Inr(Inr(Inr(cnil))) => cnil.impossible
}

Понимаю как сделать объекты с unapply, чтобы получилоcь что-то типа:

def handler2(g: Group): Unit = {
val GetFoo = GetElement[Foo]
val GetBar = GetElement[Bar]
val GetQoo = GetElement[Qoo]

g match {
case GetFoo(foo) => ???
case GetBar(bar) => ???
case GetQoo(qoo) => ???
}
}

или обощенного обработчика в который "добавляются" обработчики для конкретного типа:

def handler3(g: Group): Unit = {
val hnd = new HandlerBuilder[Unit]
.add[Foo](_ => ())
.add[Bar](_ => ())
.add[Qoo](_ => ())
.result()

hnd(g)
}

Но тут теряется проверка на полноту, то обработали все кейсы на этапе компиляции. Ну и еще вариант писать через Selector, который возращает Option.

Возможно есть какой-то более элегантный способ решить такую задачку, чтобы можно было легко и просто сделать сумму типов, а потом красиво обработать каждый отдельный случай. Желательно иметь еще при этом проверку полноты обработчиков на этапе компиляции?

Используемая версия скалы - 2.13.