structural subtypingは単に宣言をサボれる以上のことありますっけ？