[Polynomial -> non-mutually-recursive sum-of-products.
nad**20040620213027] hunk ./ChasingBottoms/Approx.hs 35
-respect to the paper (and modulo any bugs), on polynomial
-datatypes. In particular, nested and mutually recursive types are not
-handled correctly with respect to the paper. The specification below
-is correct, though (if we assume that the 'Data' instances are
-well-behaved).
+respect to the paper (and modulo any bugs), on non-mutually-recursive
+sum-of-products datatypes. In particular, nested and mutually
+recursive types are not handled correctly with respect to the
+paper. The specification below is correct, though (if we assume that
+the 'Data' instances are well-behaved).