ConceptType wideningModified just nowProperties 3Hide JourneyProgramming Language Theory Statuslearning Tagslanguage-feature-designsemanticstype theoryAnalogy: Think of types as sets, then type widening means to widen a set (Subtype -> Supertype). Previous in ConceptsType variantNext in Concepts Typing judgment