Advanced/Utility Typing

Using any and unknown Type

Using Pick and Omit

Narrowing, Guard Typing, and Control Flow

Narrowing using Type Predicates