Mypy types don't usually have any runtime enforcement.