Comment Comment by matt_kantor Do you have a particular reason to care about the implementation details of your tooling's type checker? parent matt_kantor 10 months ago
