Generics

Common Examples

readonly constraint

Spread operator on Array/Tuple Type

Type Mapping

Conditional Type

extends expression

infer Type - pattern matching on type system

Scope of infer

Recursive Type