Inferring func annots from TS