path: root/testsuite/tests/rep-poly/T23153.hs

module T23153 where

import GHC.Exts

f :: forall r s (a :: TYPE (r s)). a -> ()
f = f

g h = f (h ())