Added fold for Coproducts.