We're also missing a bunch of strict versions of traversals functions, like folds. I needed a strict fold the other day and found that there isn't one. Should we just go ahead and add a strict version for all the functions where that makes sense?

-- Johan