// //Bool y1 = isEmpty(x2); //gives weird type error, not sure why
// isEmpty(x2);
[Int] x1 = 8 : 2 : [];
- return x1.hd;
+ (Bool, Int) z = (True, 2);
+ var y = z.fst;
+ var x = (True, 5) : (False,0) : [];
+ var sdaf = isE(x1);
+ var z = isEmpty(x1);
+ x.hd.snd = 8;
+ return;
}