! as comonad or adjunction?