Hom-functor loading ...