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