Reworked Check algebra; now returns a log and is a monoid.
Helper combine method for traversables of a monoid.