Merge branch 'master', remote-tracking branch 'upstream/master'
coercionSyntaxEq: handle Sub (for ghc > 706)
Merge 2cc5de269bbcf9c047f14e590b680132a179a125