repair stubborn error that insisted that 'Monoid.mtimes not easy enogh'