Talk:Algebraic data type/to do


 * ADT = product + sum + recursion + parametric (last one seems to be left out of the lede)