Re: ! as comonad or adjunction?