mypy-boto3-workspaces