the idea is you define the instance of Monoid<S...
# announcements
a
the idea is you define the instance of Monoid<String> retroactively