1 2 3 4 5 6 7 8 9
{-# 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