Applies a natural transformation to the inner monad ``` haskell transTraceT :: (forall x. m x -> n x) -> TraceT t e m a -> TraceT t e n a ```