前回の続きから、Maybeの中身がMonoidだった場合の型クラスの実装は次のとおり。 import Data.Monoid data Option a = None | Some a deriving (Eq, Ord, Read, Show) instance (Monoid a) => Monoid (Option a) where mempty = None None `mappend` any = a…