again, we are ignoring the ring. If we can't plumb this monoid through, we should at least write a big comment (and TODO) that only one ring can be in scope at a time.