mapping over trees, subsets problem is so interesting