A series of contramaps may be freely rewritten as a single contramap on a composed function.
The identity function, lifted, is a no-op.