> For the of, this one is not part of record comprehensions. It is explained in page 2-3 of https://github.com/francoisfonteyn/thesis_public/blob/master/Tutorial.pdf.

(please reply to line notes as line notes, otherwise the discussion is fragmented; it is normal to add 3 one-line comments if they answer 3 different line notes).

OK so it's that flattened traversal of records I've been arguing against ... I thought I convinced you (plural formal) not to include it. Well, apparently not, so I suppose it's been decided that it be kept. I will review accordingly.