scalaz.Functor
A series of maps may be freely rewritten as a single map on a composed function.
The identity function, lifted, is a no-op.