You can actually accomplish this in Typescript, I linked a blog post in one of my other comments.

The key is mapping through all of the arguments and enforcing that argument N's output is a subtype of argument N+1's input.