playground for type-level primitives in TypeScript - View it on GitHub