1{-# LANGUAGE GADTs #-}
2
3data X where
4  X :: !Int -> X
5