2DC
(TS) Type Annotation + Type Inference