{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE Rank2Types #-}

--newtype EliLiteral = EliLiteral
--  { unEliLiteran :: forall a. Show a => a
--  }

data EliLiteral = forall a. Show a => EliLiteral a

instance Show EliLiteral where
  show (EliLiteral x) = show x