Tagged is a Comonad.