How to use Generic (higher-kinded) type variables in python's type hinting system?

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