Cofree comonad structure.