Just a thought: maybe it would be easier to write a MFunctor (https://hackage.haskell.org/package/mmorph-1.0.6/docs/Control-Monad-Morph.html) instance, and then use (hoist . zoom $ company.assets)?