A series of maps may be freely rewritten as a single map on a composed function.
The identity function, lifted, is a no-op.
Traversal through the scalaz.Id effect is equivalent to
A natural transformation from
N for which these properties hold:
(a: A) => nat(Applicative[M].pure[A](a)) === Applicative[M].point[A](a)
(f: M[A => B], ma: M[A]) => nat(Applicative[M].ap(ma)(f)) === Applicative[N].ap(nat(ma))(nat(f))
Two independent effects can be fused into a single effect, their product.
Traversal with the
point function is the same as applying the
point function directly
Two sequentially dependent effects can be fused into one, their composition