Product of Set-endofunctors
Comonad Laws for Decoration are Lens laws