associatedtypeで制約を書けばよかったんですね・・ @t.ae#5802 @koher @tarunon ありがとうございます！