Условно - да. Не условно - обычно реализуют мощную абстракцию аля ConcurrentEffect, которая подразумевает другие, более слабые.
скорее всего в "io.monix" %% "monix-cats"
Пример тут https://github.com/typelevel/cats-effect/blob/fe409cbdbb1973d578b2a7876d84ae8d66617ff7/core/shared/src/main/scala/cats/effect/IO.scala#L940
Обсуждают сегодня