Papa.Base.Implement.Data.Monoid