On Fri, 2006-01-20 at 13:59 -0500, William Lovas wrote:
> On Fri, Jan 20, 2006 at 10:57:39AM +0100, Andrej Bauer wrote:
> > William Lovas wrote:

> These encodings do not have the same force as the original type; they are
> complete,

How would you decode an Andrej sum without a conditional 
control transfer? 

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net