../../../../Prelude/Monoid Natural