Haskellでわかる群論の代数的構造をやってみました。