KleisliTrace
A trace instance for Kleisli[F, Span[F], *]
, which is the mechanism we use to introduce context into our
computations. We can also "lensMap" out to Kleisli[F, E, *]
given a lens from E
to Span[F]
.
A trace instance for Kleisli[F, Span[F], *]
, which is the mechanism we use to introduce context into our
computations. We can also "lensMap" out to Kleisli[F, E, *]
given a lens from E
to Span[F]
.