8.1.3 Module creation = functor linking

A functor is a description of a module. In order to actually obtain this module, the functor must be linked: this is the job of a module manager. We can create a module from the Foo functor we defined earlier as follows:

declare [FooModule] = {Module.apply [Foo]}
{Inspect FooModule}