Там один all-in-one "тайкласс" для внутренней машинерии. Он в отличии от котоэффектов не имеет своей реализации IO, а полностью опирается на выбранный тип эффекта.
то есть проблема именно в том, что кото-эффекты предоставляют IO, который можно не использовать?