TypeScript-теги иреттүү түрлөрдү иштетүү үчүн кандай алдыңкы өзгөчөлүктөрдү билесиз: utility types, шарттуу түрлөр, generic параметрлердин чектөөлөрү жана башка?