Handling higher order effects that need to be interpreted

Is it possible to implement a function: `toEffWithExtraTop :: Handling esSend anything es => Eff (e : esSend) ~> Eff (e : es)`? Since there's `toEff` for converting from `Eff esSend ~> Eff es`, it seems like this should work somehow, but I can't figure out how to get things to line up the right way.