comodule (module + co-; together_joint)
The dual of a module