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