mi_globals uses a lot of memory when using ghci
I am loading Agda into GHCi and the mi_globals
field retains the GlobalRdrEnv
for a module. This is pretty bad because it uses a quadratic amount of memory because the field ends up containing the environment for the transitive closure of the module.
mi_globals: 1966mb
no mi_globals: 1554mb