To silence warnings with GHC 9.10 (cherry picked from commit a7e23f01) (cherry picked from commit 1078f402)