The algebra (and calculus!) of algebraic data types (via jackdk) — discussion

#plt