dfs-mapcat