Есть доклад Вимала где-то, там немного рассказано. Корпоративного блога нет, но ты можешь частично сделать выводы по моей статье "Hierarchical Free monads: the most developed approach in Haskell". Я там в секции Exposition описал фреймворки, на которых основной код в Juspay.
Вообще, я в этих чатах тоже много рассказывал про эту нашу работу, да и у товарищей можно спросить. Сс
@parketgo