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/4f74fbaca3cc12911...