+はor
*はand

これが基本

traitA * traitB　は　traitAが実装されている=1　traitBが実装されている=1　と言う時だけ　1(true)
だからこれが正しい

トレイト境界だと表現が矛盾している
+だと　traitAもしくはtraitBでtrueなのでやはりベン図的な境界ではありえない