{-# LANGUAGE GADTs #-}
module Main (main) where

data X where
        X :: !Int -> X