これって foo が同名で同じ型でオーバーロードされてるというわけじゃないんですか？ p.foo が sc.foo と別のメソッドを示しているわけではなく？