Add traverseM for traversing monadic traversals.