cofree (free + co-; together_joint)
homomorphic and free