Whoa. This is very, very cool. I love TypeScript and its type system, and started using Nix in the past few years and wished it could have something similar.