足し算できるけど、足し算の直接定義がなくて、プロトコル定義での足し算に頼ってる型を探してた