Re: [GHC] #15868: Standard deriving should be less conservative when `UndecidableInstances` is enabled