Proof that "algebraic datatypes" are algebraic

[affine]

Proving Algebraic Datatypes are “Algebraic”