Monoid_action loading ...