* so probably for folk that want to type check, it would be:

```
class Foo(data.Struct):
     valid: Annotated[Wire, unsigned(1)]
```