Dan, I don't think that's actually a proper monoid, since \$$x \otimes I = I\$$ for all \$$x\$$. If \$$x \neq I\$$, we want \$$x \otimes I = x\$$ instead. So \$$I\$$ isn't a unit.