<div dir="ltr"><div><div><div>Hello,<br><br></div>Just a thought: maybe it would be easier to write a MFunctor (<a href="https://hackage.haskell.org/package/mmorph-1.0.6/docs/Control-Monad-Morph.html">https://hackage.haskell.org/package/mmorph-1.0.6/docs/Control-Monad-Morph.html</a>) instance, and then use (hoist . zoom $ company.assets)?<br><br></div>Best regards,<br></div>Marcin Mrotek<br></div>