ghc-exactprint-0.5.0.0: tests/examples/ghc710/BracesSemiDataDecl.hs

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