Statically typed with duck typing is called structural typing. (As opposed to nominal typing, with inheritance hierarchies). It’s already what you get with pyt

Statically typed with duck typing is called structural typing. (As opposed to nominal typing, with inheritance hierarchies). It’s already what you get with python and mypy. Using typing.Protocol or Unions.