ghc-exactprint-0.3: tests/examples/BracesSemiDataDecl.hs

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