Collection of TypeScript type challenges with OJ