feature request - benchmark using https://github.com/RightTyper/RightTyper - would be helpful @onefact !

[jaanli]

No description provided.

[patrick-kidger]

Can you add a bit of a description explaining what you mean? It's not immediately obvious what kind of interaction you're expecting here.

[jaanli]

Thank you @patrick-kidger ! I think we need some way to use jaxtyping not at runtime - does that make sense? That’s the need I think that righttyper addresses.