refactored tests for Monad Coproduct