On Tue, Jun 30, 2009 at 07:57:07PM +0530, Hemanth Kapila wrote: > Can't we come up with something like this staying within the > limits of purity? No, because that would break referential transparency :(. I.e., it would be possible to distinguish things that should be "equal", such as '3' from '1+2'. -- Felipe.