data GADT0 a where
  GADT01, GADT02 :: Int -> GADT0 a

data GADT1 a where
  GADT11
    , GADT12 :: Int -> GADT1 a

data GADT2 a where
  GADT21
    , GADT21
    , GADT22 :: Int -> GADT2 a