Folding over record fields
