Categories.Normalise: simplifier for equations involving coproducts
Categories.Monad.Coproduct