It's a bit hastily put together, but I made a dspy fork where you can add a decorator to automatically use TypeSafe where possible on Signatures. It shows a fair bit of what actual, hands on usage looks like.

https://github.com/typesafeainate/dspy-typesafeify

DSPy seems like the right comparison and this is the first comment I've seen mentioning it.

Thanks for putting this together. I'm surprised the cost saving is so little though. I expected much more based on the post.