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

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.