Create numeric_monoid.hs