最近はGithubに直接Haskell関連は記載するようになった。 結合法則 集合Sに二項演算○が定義されているとき、(a ○ b) ○ c = a ○ (b ○ c ) がSの任意の元a, b, cに対して成り立てばこの演算は結合的（結合法則を満たす）であるという。 加算や乗算は結合的。 …