functors

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

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