fix CoproductInstances. add Equal instanse
CoproductArbitrary
add CoproductTest
Merge pull request #503 from xuwei-k/coproduct

fix CoproductInstances