Monoid と DerivingVia - Qiita

instance Monoid b => Monoid (a -> b) where mempty = ... (<>) = ... すぐに思いつかない人はちょっと考えたらわかるので、頭の体操だと思って考えてみましょう！ 今回は、この関数のモノイドの面白さについて書いてみたいと思います。モノイドといいつつ半群の話も含んでおります。 ヒント Monoid 型クラス まずは Monoid 型クラスの定義について簡単に復習しておきましょう。