Introduce coproducts and maybe