Type Narrowing

Refining wide types to more specific types is called type narrowing.