Arnaud Spiwack authored Jul 16, 2024 and Marge Bot committed Aug 13, 2024

This is the Right Thing to Do™. And it prepares for storing a
multiplicity coercion there.

First step of the plan outlined here and below
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12947#note_573091