Для IO-монад типа котов и зио есть небольшие бенефиты, например полное убирание всей сложности реализации обертки для async коллов и замена на простой вейт на виртуалтрэде. Может быть что-то упростится в плане заворачивания блокирующего кода (хотя не понятно).
Также щас в разработке есть пара проектов, которые вместо монадического байндинга предлагают другой стиль написания кода - обычный сиквентальный кодфлоу с асинк/авейт. Там требуется жвм с делим континюейшенами для запуска. Но я этот стиль не очень люблю, так что не принципиально.