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