comonoid 0.2.0

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