coproducts
CAT: Product example
CAT