Algebraic Data Types” Prev: products-and-coproducts Next: functors Prev: products-and-coproducts Next: functors