MDLUL/normal (Monoid)