[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 6 commits: Refine `noGivenNewtypeReprEqs` to account for quantified constraints