Т.к. там Nothing-тип вылезал из-за in out

О кстати, а что, если у меня результат должен быть интом и ошибка тоже интом?

Ты проиграл.

И я тоже.

Но если серьёзно, то вполне можно разнести инт по двум разным непересекающимся типам.

2) в этом случае берём и делаем новую перегрузку для функции, не нарушая срп. Ну или ещё делаем инстанс для тайпкласса. Эти 2 варианта работают без копродуктов и решают эту задачу

Можно, но чет адт получаются

вкусовщина. но есть ряд плюшек, но тут надо понимать, что это не всегда поравдано:
1. аиснхронность, асинк всюду
2. очень слабая связность компонентов (максмально возможная в принципе)
3. возможность выстроить очень хитыре механики машстабирования
4. гибкое тестирование
5. другой стиль расширения и доработок - перехватчики событий, кодеки, сторонние воркеры.

имея пункт 2 и 3, например. ты можешь связывать шины событий вообще от разных рантаймов (JDBC воркеры общаются с оркалом, а гошные обсулживают grpc итд) и динамически регулировать приоритет системы на обработку такого-то типа события, например добавление воркеров для типа события A приоритетнее, чем для B, а C вообще фиксированный пул. ну или просто разбить микросервис ещё на меньшее, если он сильно растростётся
4 по скольку комопненты только получают и отправляют сообщения, тебе не нужен весь собранный экземлпряр системы, ты можешь отдельно запустить часть воркеров как и замокать для них весь окружающий мир

Поэтому юзай Exception и не выёбуйся.

throw ImATeaPot417()
?

а юнион типы решают эту задачу без дублирования логики.

ага

Просветление дошло до "ADT не нужны" или ты троллишь?)

Не решают

Аргументов, я так понимаю, не последует?

Если решают то это LUB и копродукт не нужен

Если типы анрелейтед то у тебя там толстый матч по типам

Что выглядит как попытка впихнуть невпихуемое