# Pastebin xpHcxdDD
Prelude> :m + Control.Monad.Morph
Prelude Control.Monad.Morph> :t hoist generalize
hoist generalize
  :: (MFunctor t, Monad n) =>
     t Data.Functor.Identity.Identity b -> t n b