Another isomorphism.
Loader products; haddock for loader structure.
Stub Filesystem loader.