úÎ rÁ      +non-portable (type families, GHC internals) experimentalekmett@gmail.com;The Covariant Yoneda lemma applied to a functor. Note that f need not be a Hask  !  The Codensity monad of a functor/monad generated by a functor .A right Kan extension transformer for a monad         !      !"#monad-ran-0.1.0Control.Monad.Ranbase Control.MonadYoneda getYoneda Codensity getCodensityRanApplicativeRanMonadRanTransliftRanToutRaninRan RanFunctorGHliftRanlowerRanRangetRanreturnRanCodensitybindRanCodensityapRanCodensityliftRanCodensitylowerRanCodensity liftRanWorld lowerRanWorldlowerCodensitylowerCodensityApp ranCodensity codensityRan lowerYonedaGHC.BaseFunctor