Fix DeepSubsumption05 in ghc-9.4

In the interest of getting a release candidate out, I have merged the current state of !8210 (closed) (ddc4465d, squashed) into ghc-9.4. However, the DeepSubsumption05 is currently broken and I have marked it as such. We will need to fix this in !8210 (closed) and backport the fix to %9.4.1 prior to release.

Edited Jul 13, 2022 by Ben Gamari

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information