今回は自作したMaybe用のMonoid型クラスの実装を作ってみます。 Monoidって何ってさっぱりわからないので、型クラスの定義を見てみます。 class Monoid m where mempty :: m mappend :: m -> m -> m mconcat :: [m] -> m mconcat = foldr mappend mempty mco…