Perhaps we should be allowed to iterate over a record, in order to introspect on its fields. This might require tuples (#34) and pattern matching (#33).
Commit ec8057c57fe44d32a00ff922a934def2dbb60f93 starts to get at this problem by allowing iteration over any value's field names and types. It doesn't fully address the problem, however.
Perhaps we should be allowed to iterate over a record, in order to introspect on its fields. This might require tuples (#34) and pattern matching (#33).