Writing a “zooming” function for a ReaderT-like monad transformer

Question

I have this ReaderT-like monad transformer (inspired by this answer):

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE RankNTypes #-}
{-#