Associated Type が無い場合に限っては、YES (edited)