Likewise, you can derive a lower-priority `Semigroup` given `Compose`.