I had once built a type checker for a query language within the TypeScript type system, I thought I have reached the limits. Actually showed it to the TS team and they felt the same. This is like something my mind could never had even swallowed, let alone be able to ever build! Nice job!