Type Inference & Type Assertions - Edindx