no longer need these explicit monoid methods