comonoid 0.1.2

A comonoid in a monoidal category is a monoid in the dual category, what is the problem?
Documentation