No entry for From_function_to_functor_and_onto_monads ... you could create one: