Allows the simultaneous construction of top-level invocations and submodule types. This helps structure configuration systems integration code.