Try out mypy.