Lax_functor loading ...