Enriched_functor loading ...