Diese Form ist wie define-record-procedures-2, nur parametrisch wie define-record-procedures-parametric. Außerdem werden die Verträge für die Feldinhalte, anders als bei define-record-procedures-parametric, sofort bei der Konstruktion überprüft und nicht erst beim Aufruf eines Selektors.