> I'd say that's because in the second case you also got to apply the (,), > besides the (+)/(-) constructor during the transversing... > Am I right? opss... I meant to write: the (,) constructor besides the (+)/(-)... J.A.