Unmerged Patch: 3358

[Matthew Pickering]

Hi,

My patch 3358 needs to get merged before the 8.12 fork.

When I finished it (in May), it passed CI and after this point I
lacked time to work on it further. Now I have asked 4 times for this
patch to get merged and it is still open.

The GHC proposal for this patch already took an extortionate amount of
time to get accepted. Please can we close this chapter by merging the
patch.

Cheers,

Matt