This is not an especially normal-purpose solution, but I had a case in which I anticipated a summary of length 3 to 5 (which has a guarding if), and I had been breaking out the values to named variables. A straightforward and concise way I found for this included: Random https://griffinovuvt.onesmablog.com/not-known-details-about-how-to-get-free-phone-77899526