My apologies. Your proposal certainly does talk about number of values mismatching. I guess I got excited about this extended lambda idea.