Dear Antero,

Have you seen André van Tonder’s SRFI 57?
<https://srfi.schemers.org/srfi-57/srfi-57.html>

It provides ‘label polymorphism’ for records, which seems to be roughly what you’re aiming at.

Daphne