hanging on coproducts again :(
yay first ice response