An ideology-induced bug in Mypy

seems to have been deliberately chosen on the basis of ... code ideology

Python gonna pythonic.