Re: [GHC] #12923: MultiParamTypeClasses + ExtendedDefaultRules