Tracer transformers usually have a type transformer :: Tracer m b -> Tracer m a applied as a contravariant functor they transform from a Tracer m a to a Tracer m b.