Yesod кто-нибудь в проде использует?

Сейчас же servant в основном юзают.

Оно https://haskell-servant.readthedocs.io ?

А чем лучше?

Type level programming, оно и минималистичнее, не такой комбайн как Yesod.

Спроси на haibane.ru

Хочу переписать хайбань на втором ангуляре.

Я уже думал, что подобные штукенции окончательно закопали, после того как вышел Golang 1.0, в котором все есть изкаропки

yesod слишком жирный наверняка где-то используется. но servant на порядки удобнее.

Я так понял, что Yesod - это веб-сервер. Для RESTful как-то многовато будет. Тоже слышал про использование servant

Помимо servant есть ещё Scotty (а-ля Sinatra), он куда проще.
А вообще, ты же копал в сторону Idris on JVM, не срослось?