当前，截至撰写本文时，mypy项目不支持类型较高的类型.请参阅以下github问题:

Currently, as of writing, the mypy project does not support higher-kinded types. See the following github issue:

https://github.com/python/typing/issues/548