я прекрасно понимаю, о чем ты говоришь. я с этим не спорю. в контексте пайтона отличить последовательность строк от последовательности однокодпоинтовых строк нельзя, и это нормально - и если ты этого хочешь, значит, тебе это не нужно.
просто не надо говорить, что mypy обладает высокой экспрессивностью ¯\_(ツ)_/¯