Stupid Python Ideas: Subtyping and Ducks