In the design of Control.Monad.Accum, I noticed that for a new Monad transformer t, one typically has to define the instance via LiftingAccum. However, I believe it would be more straightforward to define an automatic lifting mechanism that traverses the outer Monad transformers.