Update module Example.Monoid