"Modularizing GHC" paper