Constraint coproduct (almost there)

What should be the easy part, doesn’t seem to work