as someone working on a python type checker I can second this. we get occasional complaints that some feature is too complicated or too liberal, and the answer

as someone working on a python type checker I can second this. we get occasional complaints that some feature is too complicated or too liberal, and the answer is usually "it works this way because python works this way, we are trying to support as much valid python as we can even if it's hard to express in terms of static types".