structural subtypingかな？