ap
is consistent with bind
.
As with semigroups, monadic effects only change when their order is changed, not when the order in which they're combined changes.
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.
Lifted functions can be fused.
Lifted functions can be fused.
The identity function, lifted, is a no-op.
The identity function, lifted, is a no-op.