cond confが使えると、Boxに適用されているEquatableが中のvalueにも適用される？