Add `UnapplyS1` instance for `traverse_join`.