the theory of commutative comonoids is a monoid

• Fox’s theorem
• the source of naturality and uniformity in Fox’s theorem