I would agree with you - except that is not a matter of sovereign tax policy. Ireland basically allows Apple tax-free access to the entire EU market. It would have been fine if it was confined to the internal Irish market.

EU should reply - "you can have a 1% tax scheme, or access to our 500M market - but not both"

this notation

In this interview, the interviewer frames the exact same issue I am talking about. Python is repetedly described as a "weakly typed system", the issue of contracts in methods is exposed, and Guido accepts the argument. But of course he might not know what he's talking about.