A cofree comonad and a free monad annihilate each other
The coproduct of two functors annihilates their product.
The identity functor annihilates itself.
A free monad and a cofree comonad annihilate each other
The product of two functors annihilates their coproduct.