Inferring function signatures from TS types