Re: [GHC] #15379: Don't reject user-written instances of KnownNat and friends in hsig files