Representable_functor loading ...