Re: [GHC] #6022: GHC infers over-general types