Bump comonad bound