We are happy to announce the first public release of a paper we wrote about modularizing GHC!
Having some familiarity with Domain Driven Desing, I found two things which sounded a bit odd, while skimming fastly through the paper:
not finding a mention of Bounded Contexts, which could be a great tool to untangle a bit of complexity;
the proposal to use a layered architecture instead of an hexagonal one, which generally provided better decoupling