Semimonoidal CoatC