1data Mono a = Monoid [String] a 2 3instance Semigroup (Mono a) where 4 (<>) = undefined 5 6instance Monoid a => Monoid (Mono a) where 7 mempty = Monoid mempty mempty 8 9