Michal

I think I found something even better. It's possible to have static inference even with the `z.lazy` pattern, if we modify it slightly. The following code would do the same...

I started working on it, but then got stuck on the fact that Zod types have both a `_def` property and `In` & `Out` type parameters, ie. the actual resulting...

> > Do `import ::{A} from 'a.js'` still expose the module itself as `this`? > > Yes. > > ```js > // module m > export function plus1(x) { return...