Similar to the paid tool https://www.executeprogram.com/ , which goes very much more in-depth with TypeScript's type system (as well with other languages)