coprod
foo