🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system - View it on GitHub