Bulat Ziganshin wrote: > 1) all operations that returns filenames (getFileContents, anything > more?) should return this ADT instead Also, getArgs should return [ADT]. -- Ben