`Trace[IO]`
kubukoz opened this issue · comments
Starting with typelevel/cats-effect#1393, cats-effect (just like other effect systems) has a way to propagate fiber-local state without ReaderT using FiberLocal[F, A].
Additionally, to encapsulate the common pattern of having essentially ReaderT[F, Ref ...], @RaasAhsan has opened typelevel/cats-effect#1822.
We should investigate how/if these could be used to get, say, IO[Trace[IO]].
Yeah we should be able to go from EntryPoint to Trace[IO]. I'll hack that up.
I think it's already done. Thanks!