потому что монады полезны

@sergey_alaev вы довольны?

Я думаю, если вы никогда не использовали GADT в предметной области вы упустили из вида серьёзную возможность добавить типобезопасность

Это требует практики и интуиции, но однозначно полезно

Да, спасибо. Не чтобы я стал так писать, выглядит проблемно. Но можно себе представить какой-то обобщенный код над произвольным AuthRequest, которому нужно A и не важно, что в A.

Конечно, можно еще тайпклассов навертеть над A. Но выглядит сложным, мне не приходит в голову задач, где такое абстрагирование окупилось бы. Возможно, нужно больше практики.

как раз не нужно тайпклассов

индексы обычно используются просто как индексы

т.е. магия, которой мы пользуемся, что внутри
case BearerAuth(token) =>
компилятор уже знает, что A = String

тайпклассы - это тема другой стороны GADT

Не приходилось

Переписывать не пришлось

слушай, у меня в тофу и тайпед схеме кот наплакал кода зио, и каждый ПР от скала стюарта падал, всегда нужно было руками поднимать

у меня есть пруфы в виде ПР

А я менял одну строчку в био и не приходилось

да, в тф коде мы тоже ничего не меняли

слава ТФ

Тф слава

sealed trait AuthRequest

case class SimpleAuth(user: String, password: String) extends AuthRequest

case class BearerAuth(token: String) extends AuthRequest

case class ExternalAuth(provider: String, id: UUID) extends AuthRequest

def processAuthReq(req: AuthRequest): IO[Result] = req match {
    case SimpleAuth(user, password) => processSimpleAuth(user, password)
    case BearerAuth(token) => processBearer(token)
    case ExternalAuth(provider, id) => getExtAuthFor(provider).getAuthData(id)
}

вот, идентичный и более простой код. Без перспектив мутировать в processAll[A, B, C, D, E](req: Req[A], param: Param[B], ....)

sealed trait AuthRequest

case class SimpleAuth(user: String, password: String) extends AuthRequest

case class BearerAuth(token: String) extends AuthRequest

case class ExternalAuth(provider: String, id: UUID) extends AuthRequest

def processAuthReq(req: AuthRequest): IO[Result] = req match {
    case SimpleAuth(user, password) => processSimpleAuth(user, password)
    case BearerAuth(token) => processBearer(token)
    case ExternalAuth(provider, id) => getExtAuthFor(provider).getAuthData(id)
}

ну вот вы и получаете, что в итоге есть Result