Typescript Define Type Inference