A repository to share my mods to ghc