Comonad via copointed.