head.hackage: package "what4" no longer compiles

See also #22663 (closed)

Triggers error GHC-18872

First occurrence on 27 November: https://gitlab.haskell.org/ghc/head.hackage/-/jobs/1245011

src/What4/Interface.hs:2593:3: error: [GHC-18872]
• Couldn't match representation of type: IO (SymBV' sym (n * w))
with that of: IO (SymExpr sym (BaseBVType (n * w)))
arising from a use of ‘coerce’
The data constructor ‘GHC.Types.IO’ of newtype ‘IO’ is not in scope

src/What4/Interface.hs:2611:3: error: [GHC-18872]
• Couldn't match representation of type: IO (Vector.Vector n (SymBV' sym w))
with that of: IO (Vector.Vector n (SymExpr sym (BaseBVType w)))
arising from a use of ‘coerce’
The data constructor ‘GHC.Types.IO’ of newtype ‘IO’ is not in scope