FIXME about whether to make a Monoid instance for Column String
Widen semigroups lower bound