I can even imagine a tool that picks a zig interface and transforms it into a C interface to export it from your closed-source library, and a shim that exposes the nice zig interface that talks to the uglified C interface.

That would be helpful not just for intetfacing closed zig code, but also for dynamic libraries in zig.

I'm only afraid that in many cases that would require doing the monomorphisation step...