Band
Semigroupのサブクラスです。Semigroupと比べて追加のメソッドはありません。
Bandは "同じものをappendした場合に、必ず同じものになる" というものです。
例えば
List(1, 2)
とList(1, 2)
をappendするとList(1, 2, 1, 2)
となるため、ListはSemigroupですがBandではありません- 一方
Set(1, 2)
とSet(1, 2)
をappendするとSet(1, 2)
となるため、SetはBandのインスタンスです
もちろんSet以外にも、いくつかBandになるものは存在します。
Bandというのはそれほど聞き慣れない言葉かもしれませんが、数学の用語のようです。