According to the associated paper, the current effort to make a more modular GHC has completed a hierarchical restructuring of its modules (section 5.1). This means a layered approach to GHC’s design can at least now be envisaged (section 4.2).
To use guardian, would the GHC codebase need to be broken up into packages in order to enforce this layering, or can guardian also work at the level of individual modules in the codebase?