py-mypy-extensions (spack): Experimental type system extensions for programs checked with the mypy typechecker. 
Keywords: mypy|mypyc|type-checking