module Exists(main) where
import Prelude

data E = forall a . Show a => C a

es :: [E]
es = [C True, C 'a']

instance Show E where
  show (C a) = show a

xx :: Int
xx =
  let f (C a) = a
  in  length $ map f [C 'a', C True]

main :: IO ()
main = print es