>>685
サブタイピング時に
上位の型が持つ実装コードの一部が
下位の型と共有されること