Haskellで自然数の型を構成します。

可換モノイドから得られる普遍的な可換群について纏めます。