Working Implementation for this Proposal Try it out: npm install yortus-typescript-typeof View the diff: here. Problem Scenario TypeScript's type inference covers most cases very well. However there remain some situations where there is no obvious way to reference an anonymous type, even though the compiler is able to infer it. Some examples: I have a strongly-typed collection but the element type