Fix in coproduct at signature
Merge pull request #264 from alexarchambault/fix/coproductat

Fix in coproduct at signature