di-monad: Add a MonadDi' with fully polymorphic support for localDiT?

[k0001]

Not sure if this is possible from a practical point of view. Maybe something like this?

class (MonadDi level' path' msg' m', MonadDi level path msg m)
   => MonadDi level' level path' path msg' msg m' m 
      | m -> level path msg
      , m' -> level' path' msg
      , m level' path' msg' -> m'
      , m' level path msg -> m
   where
   local' = ... the type of localDiT ...

Just saying. I'm not sure this even is a good idea.