zipSubForest :: (a -> b -> c) -> [T.Tree a] -> [T.Tree b] -> [T.Tree c]
zipSubForest f [] [] = []
zipSubForest :: (a -> b -> c) -> [T.Tree a] -> [T.Tree b] -> [T.Tree c]
zipSubForest f [] [] = []
zipSubForest f [] [] = []