data Mono a = Monoid [String] a

instance Semigroup (Mono a) where
  (<>) = undefined

instance Monoid (Mono a) where
  mempty = _