Thanks for the clarification.  Though the lazy version suits my
present need well, I wonder if a variant strict in its monoid would be
useful as well.  If nothing else, it might help highlight that the
Strict version is not, something I didn't realize until reading the
source.