types/Prod: add the negative universal property