加算と乗算が可能な自然数型を定義すればよい
減算と除算は自然数に関して閉じていないのでダメ

しかしそれでは不便なので、皆単なる整数を使うのであった…