so not really a mypy question per se