I heavily use and really appreciate mypy for what it is - but I also totally agree with you here. Duck typing _is_ structural typing, and it's pretty disappointing that this wasn't the focus of their efforts.