A series of maps may be freely rewritten as a single map on a composed function.
Lifted functions can be fused.
point distributes over function applications.
The identity function, lifted, is a no-op.
point(identity) is a no-op.
point is a left and right identity, F-wise.
map is like the one derived from