add monoid instance for TCEmb