I agree the need to explicity upcast has been annoying. I'm hoping they will do a compiler optimzation to fix that in a future release. Also, hopefully they will bring in the co/contra variance features that are now in C# for lists and apply them to Tuple as well. (Does Don Syme read HN?)