最初に

　群論はありていにいって、四則演算がどのような構造をしているか調べる学問です。

それに登場するいくつかの構造を、Haskellのコードと共に見ていきます。

第一にその代数的構造を表す、データ型のHaskellコードを提示する。
第二にWikipediaとHaskellコードを参考にしつつ解説。

という流れで話していきます。
( それ故、Haskellのコードが少し読める程度の能力が要請されます
…が、私もｱﾝﾏﾘHaskellﾃﾞｷﾅｲので尻込みしてしまう必要はないかと思います )

Haskellコードには

などの要素が含まれます。

なお、ここでいう「代数的構造」とは、群に準ずる以下の構造を指します。