У меня есть преобразование вида forall a. Applicative f => g a -> f (h a). Математики не придумали название для чего-то похожего?