more foldmap refinements