トレイト制約なら+がしっくりくる
条件がtraitAに加えてtraitBとなるので常識的だと思う