Monadic_functor loading ...