Mention that quantified captures produce lists