Merge proposals

ghc in Ubuntu has no merge proposals.