ConceptType narrowingModified just nowProperties 3Hide JourneyProgramming Language Theory Statusreviewing Tagslanguage-feature-designsemanticstype theoryAnalogy: Think of types as sets, then type narrowing means to narrow a set (Supertype -> Subtype). Previous in ConceptsType inferenceNext in Concepts Type predicate