Require each Universe to be a Comonad