И сразу следующий вопрос.

Как воткнуть в этот чат https://youtu.be/bG6aRTzX5MI

Краткая идея для поста.
Инициализация конкурентных данных в рантайме, запуск файберов и что-то родственное часто приводят к API вроде этого
def mkRef[A](a: A): F[Ref[F, A]]
И хотя API самого Ref вполне представимо\функториально относительно F, эта связка F[Ref[F, A]] мешает композиционно обогащать такие инстансы, иными словами ApplyK для них не напишешь.
Однако, можно объединить API фабрики с API фабриканта примерно так как это сделано тут

https://hackage.haskell.org/package/concurrency-1.0.0.0/docs/Control-Monad-STM-Class.html

При прямой трансляции это может выглядеть так
trait Refs[F[_]]{
  type Ref[A]
  def mkRef[A](a: A): F[Ref[A]]
  def modify[A, B](ref: Ref[A], f: A => (A, B)): F[B]
}
получается не очень хорошо, потому что для типов с тайп-мемберами всё ещё непонятно как выводить ApplyK, с другой стороны обычному Mid в принципе не важно, какой там будет тайп-мембер, ему главное обернуть методы в какое-то логирование,  кеширование, таймауты и метрики. Тогда можно принципиально разделить рабочий инстанс…