add DiffFileSystem.hs