Functors:
 - Inspector / Reducer cleanup
 - Identity functors (= type transducers)