{-# LANGUAGE ExistentialQuantification #-}
data
Foo
=
forall
a .
Show
a
=>
Foo a
showSomething
::
Foo
->
IO
(
)
showSomething
(
Foo a
)
=
putStrLn
(
show
a
)