Hey I'm very interested in typed Nix pretty strictly without extending the language evaluator itself.
I've used the module type system extensively and found it, quite frankly, to be pretty worthless. After getting fed up with it I extended YANTS and I suspect that I'm sitting on the largest collection of YANTS types which I've converted to module types in many cases.
In any case this stuff interests me and I'd like to pick your brain about it.
Shoot me an email and we can link up on matrix or something. [email protected]