GHC 9.4 infinite loop in typechecker

Summary

Compiling the following program with GHC 9.4.1 leads to a infinite loop during type checking:

{-# LANGUAGE RankNTypes #-}

module T1 where

f :: (forall a. (Show a, Eq a) => a -> String) -> String
f h = h True

g :: (forall a. Show a => a -> String) -> String
g = f

Environment

• GHC version used: 9.4.0.20220501