An ideology-induced bug in Mypy

<i>seems to have been deliberately chosen on the basis of ... code ideology</i><p>Python gonna pythonic.