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

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