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