{-# LANGUAGE GADTs #-}

data X where
  X :: !Int -> X