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

The doom demo shows the program state / query.