Re: [GHC] #9323: Confusing type error behaviour