darcs
Darcs.Diff
treeDiff :: forall m w. (Functor m, Monad m, Gap w) => (FilePath -> FileType) -> Tree m -> Tree m -> m (w (FL Prim))