Decoupling built-in data types from GHC?

[atravers]

Let’s (politely :-) ask those who have taken on the associated challenge:

Modularizing GHC, do we want an HFTP?

@hsyl20 and, more recently, @doyougnu have done excellent work untangling GHC, in particular banishing DynFlags and HscEnv from as many modules as possible. Many of the refactors are quite hard, not because they are necessarily technically advanced, but because GHC is a labyrinth that would make Thesus blush, and so breaking down this task into manageable chunks requires great wisdom and patience. However, once the plan is made, executing on it isn’t always so hard. I just stumbled upon a modul…

…it have been a few months since their paper was initially published: @Ericson2314, is there any good news? (I’m cautiously assuming this effort will help in some way to also disentangle base from GHC.)