readonly-constructors.md

@@ -61,3 +61,4 @@ bar i = Bar i (i*2)
 
 
 we might want to reused the 'closed' keyword from the [ClosedClasses](closed-classes) proposal.
+see also the abstraction section in [ExistingRecords](existing-records).