(typecheck) [ geoff: /tmp ]$ cat > ex.py
def foo(s: str): pass

foo(123)
(typecheck) [ geoff: /tmp ]$ mypy ex.py
ex.py:3: error: Argument 1 to "foo" has incompatible type "int"; expected "str"