Dima,

is data GenExpr necessary?

would HasSum, HasProd, HasNeg classes & instances not be enough?