不要な型クラスの指定を除去
Monoid同士の直積に対してMonoidのインスタンスを作成
Operationのテストコードを作成