beartype currently only shallowly type-checks these type hints. It should, if at all possible, do this in constant time, runtime.

This issue was copy-pasted from #7 — so see that issue for details. This issue tracks deep type-checking specifically. Might even split this one up further at some point.