refactoring ghc-modi.