Monoidクラスのインスタンスにすることがうまくいかない

Question

Bool型をnewtypeで覆って、MyAnyとし、Monoidのインスタンスにしたいだけですが、うまくいきません。

newtype MyAny = MyAny {getMyAny :: Bool} deriving (Eq,Ord,Read,Bounded,Show)

instance Monoid MyAny where
    mempty = MyAny False
    MyAny u `mappend` MyAny v = MyAny (u || v)

と書いたファイルをghciに読み込ませると

file13.hs:22:10: error:
• No instance for (Semigroup MyAny)
arising from the superclasses of an instance declaration
• In the instance declaration for ‘Monoid MyAny’
|
22 | instance Monoid MyAny where
|

となってしまいます。どうしたら、Monoidクラスのインスタンスになるのでしょうか。

Answer 1

GHC 8.4以降、MonoidのメソッドのうちmappendはSemigroupというスーパークラスに<>という名前で分離されました。
結果、すべてのMonoidのインスタンスはSemigroupのインスタンスでもある必要があります。
tomatoさんの回答のとおり、エラーメッセージが述べているのはまさにそう言うことです。

なのでMyAnyをSemigroupのインスタンスにして、mappendの定義は消してあげましょう。

instance Semigroup MyAny where
  MyAny u <> MyAny v = MyAny (u || v)

関連: あなたの知らないSemigroupの世界 - あどけない話

Comments

[the_hoots_under]

ありがとうございます。

>GHC 8.4以降、MonoidのメソッドのうちmappendはSemigroupというスーパークラスに<>という名前で
>分離されました。

そうなのですね。すごいH本だけなので知りませんでした。
また、『あなたの知らないSemigroupの世界 - あどけない話』とても参考になりました。

Answer 2

こんにちは。

エラーメッセージが言っている通りです。
Monoid クラスの定義は以下の通り、

class Semigroup a => Monoid a

Monoid となるためには Semigroup である必要があるので、先に Semigroup のインスタンスを定義する必要があります。
ちなみに mappend の実装は Semigroup の (<>) に定義するので、Monoid には mempty だけあればよいです。

http://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Monoid.html#t:Monoid

Comments

[the_hoots_under]

ありがとうございます。
まだまだエラーメッセージを理解できず助かりました。