TypeOf --> Infer