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
