path: root/testsuite/tests/typecheck/should_fail/T21530b.hs

{-# LANGUAGE RankNTypes #-}

module T21530b 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