ExplicitTuples with commas, tuple sections must wait