• - Types which take parameters
• Typeof Type Operator - Using the operator to create new types
• - Types which act like if statements in the type system
• Template Literal Types - Mapped types which change properties via template literal strings