что из-за динамической типизации?
Динамическая типизация предрасполагает к подобному мракобесию, так как реализовать такое поведение с точки зрения разработчика самого Пайтона гораздо легче, чем с точки зрения разработчика, например, Хаскеля, у которого сигнатура умножения задана на уровне тайпкласса.