A series of maps may be freely rewritten as a single map on a composed function.
A series of maps may be freely rewritten as a single map on a composed function.
As with semigroups, monadic effects only change when their order is changed, not when the order in which they're combined changes.
The identity function, lifted, is a no-op.
The identity function, lifted, is a no-op.
Lifted f
applied to pure a
is just f(a)
.
Lifted point
is a no-op.