But now Typescript 3.5 is also influenced by F# which is close to ML.

Just look at those advance types and their allowed composition which Typescript supports in its latest release and you will understand.