Jika kita mentakrifkan jenama jenis, contohnya:
deklarasikan const nominalSimbol: simbol unik; jenis Nominal= U & Adakah terdapat cara untuk mentakrifkan jenis
BukanNominal jikaU kod>.deklarasikan const nominalSimbol: simbol unik; jenis Nominaltaip BrandedType = Nominal<'Alamat', rentetan>; taip a = NotNominal // Ini sepatutnya `rentetan` jenis b = BukanNominal // Ini sepatutnya `tidak pernah`