Re: [GHC] #12271: Remove magic from type defaulting