## Description / 説明 いまは `ModPlus: int -> int -> int -> int` みたいな int の関数を用意して頑張ってるけど、これを `ModPlus: forall n. mint<n> -> mint<n> -> mint<n>` という型にしたい ## Motivation / 動機 - 出力がすっきりしてきれいになる - `atcoder::convolution` とかが使えるようになる (#99)
