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.
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 f
applied to pure a
is just f(a)
.
Lifted point
is a no-op.
Lifted point
is a no-op.