Rachael Sexton

I just ran into this myself, as well

Any time, any time. :stuck_out_tongue: In general, beartype _probably_ wants to [match mypy on this](https://mypy.readthedocs.io/en/stable/generics.html#variance-of-generic-types) for user-defined types, namely: > By default, mypy assumes that all user-defined generics are invariant....

YES. YESSSSS. Ok, so once again, I have to digest this, but i'm _pretty sure_ it completely nukes the usefulness of my efforts last night. STILL it would help me...

I'm probably gonna spam stuff, as I think of it, but first... Say we have two `BeartypeHintable` objects, both with `vale` validators in their `__subclass_init__` call. Ok so those will...

OH another thought: - Can we... maybe... _perhaps_... consider being _very bad_ and adding a sneaky `__beartype_hint__` to the stuff in `beartype.typing`? :sweat_smile: This is a massive _pro_ to using...

@leycec another thing I'm encountering (how do I always manage to break stuff the _very first time_ I try to use said thing??) in my particular flavor of "the wild":...

Also, I think a better way for me to ask all that junk up there is: > does this API provide a mechanism to design beartype-native parametric types? See, for...