Re: [GHC] #12918: Make DefaultSignatures more particular about their types on the RHS of a context