Prev: simple-algebraic-data-types Next: functoriality Prev: simple-algebraic-data-types Next: functoriality