Narrow ↔ to reduce static type T to a (narrowed down) subset of T

aka Narrowing

References

1. Type Guard ↔ Runtime Type-Check to Narrow Type of Variable

2. unknown ↔ Top Type to rep any value but also make it illegal to use (w/o Narrow)