Experimental type system extensions for programs checked with the mypy typechecker
