It's parametric, sure. It's not "full" in that it can't express the types of many language features well enough that inference works. Something like the attrs

It's parametric, sure. It's not "full" in that it can't express the types of many language features well enough that inference works. Something like the attrs package needs to use a kludge[1] to communicate types back to a validator. https://github.com/python-attrs/attrs/blob/4f74fbaca3cc12911e4dcf67a5cc9d2465c3e571/src/attr/__init__.pyi#L100 https://github.com/python-attrs/attrs/blob/4f74fbaca3cc12911...