Open newtype and Monoid interface