Added common (co-)monoids.