1 2 3 4 5 6 7
{-# LANGUAGE ImpredicativeTypes #-} {-# LANGUAGE TypeFamilies #-} module T20189 where y :: (t ~ (forall x . Show x => x -> IO ())) => t y = _