TYPE
FSystem = Id -> (File | Dir);
File :: F: STR-list;
ENDTYPE