{-# LANGUAGE GADTs #-}import Data.Typeabledata E a where I :: Int -> E Int B :: Bool -> E Bool-- typeOf :: forall a. Typeable a => a -> TypeRepmain = print $ typeOf $ I 0