module Test where
data T a where
  C :: T Int