Demonstration of issues around referential transparency and type inference in TypeScript - View it on GitHub