I would like to do a minor update to the RowCons documentation in Prim.hs:

RowCons l a i o can be read as o ~ { l :: a | i }

Perhaps also add a brief description saying what each of l, a, i and o represent. I know it took me a bit to figure out. I'll add a proposal for the changes tonight.