fix CoproductInstances. add Equal instanse
CoproductArbitrary
add CoproductTest