Comonad ((|=) e)