Some work on right_id_functor