Regards your first comment - what is this syntax? Is that a ES6 thing?

Currently Traceur does not transform that, in which case `f()` just returns `3`, so we should probably type check just the last element.