ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/BracesSemiDataDecl.hs

data Nat (t :: NatKind) where
{
    ZeroNat :: Nat Zero;
    SuccNat :: Nat t -> Nat (Succ t);
};