MDLUL/Monoid