Mypy currently can't infer that attribute access on a Proxy[T] is equivalent to the same attribute access on T resulting in most operations on a proxy resulting in Any or not having parameter types verified.

We can solve this by providing a mypy plugin that users can enabled.