{-# LANGUAGE ExistentialQuantification #-}

data Foo = forall a . Show a => Foo a

showSomething :: Foo -> IO ()
showSomething (Foo a) = putStrLn (show a)