--- | The Monoid instance for these lets us "combine" two
--- OptionalConfigurations. The "combine" operation that we'd like to
--- perform is, essentially, to mash them together. So if we have two
+-- | The Semigroup instance for these lets us "combine" two
+-- configurations. The "combine" operation that we'd like to perform
+-- is, essentially, to mash them together. So if we have two