Type inference: Clean up combine() to use fewer generators and to

be faster in the common case (all the types are the same).