In the beginner's tutorial (and possibly elsewhere), we mention that pydantic can be used for type annotations in the GraphBuilder. We don't necessarily need to advertise this and it adds a bit of extra complication: https://quantinuum.github.io/tierkreis/tutorial/inputs.html#nested-types-within-a-single-output