cats.data
IdT[F[_], A] is the identity monad transformer.
IdT[F[_], A]
Modify the context F using transformation f.
F
f
IdT[F[_], A]
is the identity monad transformer.