Re: [GHC] #8993: Fold NullaryTypeClasses into MPTC