The type for file extensions.
The type for maps from paths to values of type 'a.
'a
The type for path sets.
The type for paths.