Here's why new-extract should work Typescript tests demonstrating the individual attributes of a type scheme I have in mind