{-# LANGUAGE Haskell2010 #-}
module Test where
data T a where
  C :: T Int