fix CoproductInstances