Я бы тоже послушал объяснение

Вот это работает ок

А вот такое уже нет

Illegal polymorphic type: SuchGoodConstraint m
  GHC doesn't yet support impredicative polymorphism

на строке с CoB выдает вот это

А где аргумент m?

ой

поправил

И все равно ошибка?

Ну да

Сек

Я не заметил, ответа на этот вопрос. А вопрос очень интересный.

@qnikst, что Вы решили делать?

Проблема с низкими timeout'ами в том, что иногда сервис может отвечать долго и ничего нет лучше, чем подождать. Я на последней работе ставил таймауты в 30 секунд к некоторым сервисам. Они просто медленные были.

Как в Вашем случае отличаются ситуации: сервис переехал на другую ноду, поэтому соединение зависло, от ситуации когда сервис легитимно тупит?

Вот полный вариант

https://gist.github.com/ilyakooo0/8bb26623f266dae764250e439ec27811

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

Видимо эта глупость и на констрейнты распространяется
Что forall только на верхнем уровне

Какая «эта»?

Отсутствие импредикативности)

ну первый и второй вариант абсолютно идентичны должны быть

ну на первый взгляд

но один работает, а другой нет

Постоянно с этой проблемой сталкивался, никогда не читал что это)