Naudingieji tipai yra įmontuoti generiniai tipai, kurie transformuoja egzistuojančius tipus, todėl jūs gaunate naujus tipus, o ne juos iš naujo apibrėždami. Jie leidžia tipams išlikti DRY ir sinchronizuotiems su šaltinio versija.
ts
{ : ; : ; : ; : ; }
<>;
<>;
<>;
<, | >;
<, >;
