とりあえず、Nil と Cons によるリストでmemptyとmappendを定義してみましたが、元々Haskell のリストはMonoidなので意味がありません。 import Data.Monoid data List a = Nil | Cons a (List a) deriving(Show) instance Monoid (List a) where mempty = N…