回答編集履歴
2
いろいろ捕捉
test
CHANGED
|
@@ -1,6 +1,8 @@
|
|
|
1
|
-
GHC 8.4以降、`Monoid`のメソッドの
|
|
1
|
+
GHC 8.4以降、`Monoid`のメソッドのうち`mappend`は`Semigroup`というスーパークラスに`<>`という名前で分離されました。
|
|
2
2
|
|
|
3
3
|
結果、すべての`Monoid`のインスタンスは`Semigroup`のインスタンスでもある必要があります。
|
|
4
|
+
|
|
5
|
+
tomatoさんの回答のとおり、エラーメッセージが述べているのはまさにそう言うことです。
|
|
4
6
|
|
|
5
7
|
|
|
6
8
|
|
1
関連記事へのリンクをクリッカブルに。
test
CHANGED
|
@@ -20,4 +20,4 @@
|
|
|
20
20
|
|
|
21
21
|
|
|
22
22
|
|
|
23
|
-
関連: https://kazu-yamamoto.hatenablog.jp/entry/20180306/1520314185
|
|
23
|
+
関連: [あなたの知らないSemigroupの世界 - あどけない話](https://kazu-yamamoto.hatenablog.jp/entry/20180306/1520314185)
|