Модное решение - использовать рефлексию и аннотации.

Ну рефлексию как бы везде и всегда можно заюзать. Последнее дело

Разве?

Я пытаюсь понять мб мою проблему можно нормально с типами решить

Тогда начни с описания своей проблемы.

Йес.

Handler<AorB>

Это джава?)

О, ну давайте мы юнион типы будем имитировать. Их даже в Котлин не завезли ещё.

Ты не знаешь как написать AorB?

Вроде должен знан паттерн фасад/декоратор

Это джава, но делать так не стоит. Лучше православная рефлексия.

Чем она православная? Там много с ней проблем и сюрпризов

Фасад + декоратор знаком, но про AorB не слышал

Либа.
Есть формочки разных типов - типа Select / Question / Menu / Photo / Radio  и тд
Есть обработчики этих формочек для разных провайдеров типа обработчик для Telegram для Vk для Fb и тд.
Пользователь либы создает много инстансов этих формочек. Потом либа должна в зависиомсти от того, с какого провайдера пришло сообщение и какая формочка сейчас (стейт машина) - взять нужны обработчик.

Те например сейчас пришло сообщение из Vk. В стейт машине сейчас форма “MainMenu” c типом Menu.  Соотвественно мы должны найти обработчик для формы типа Menu и провайдера Vk. Далее передаем в этот обработчик саму форму типа Menu и условную стрингу, которая нам пришла из vk.

Простите за хаскель. Но вот я получил такое поведение на нем для примера.

data Select = Select [String]
data Question = Question String

data VK = VK
data Facebook = Facebook

class ChatFlowForm form provider where
  handle :: form -> provider -> String
instance ChatFlowForm Select VK where
  handle (Select _) VK = "select vk"
instance ChatFlowForm Select Facebook where
  handle (Select _) Facebook = "select facebook"
instance ChatFlowForm Question VK where
  handle (Question _) VK = "question vk"


l :: (ChatFlowForm Select a, ChatFlowForm Question a) => [a  -> String]
l = [handle (Question "???"), handle (Select ["1", "2"])]

run provider = (l !! 0) provider  ++ (l !! 1) provider

Вот и можно сделать обёртку которая будет наследовать общий интерфейс

Я может тупой, но я только что радостно скомпилировал интерфейс с двумя методами, перегруженными по типу аргумента. Что не так?

Код в студию пожалуйста

Рефлексия может делать инстанс класса начхав на все констреинты