RyanGlScott merges for 8.8
This backports the following commits to the ghc-8.8
branch:
- b9da2868 (issue #16490 (closed), MR !637 (merged))
- 6e15ca54 (MR !650 (merged))
- 39282422 (MR !639 (merged))
This backports the following commits to the ghc-8.8
branch: