Show that if m forms a monoid, so does Maybe m