structural subtyping の概念がわかってないからなんとも。あれってメンバのある無しを縛っていく話かと思ってました。