Hi Giacomo,
I agree with the overall sentiment of your suggestion, and I think it would be great to break off parts of Guix into separate libaries. > - (guix records) However for (guix records), I'd recommend checking out R6RS records: https://doc.guix.gnu.org/guile/latest/en/html_node/R6RS-Records.html I find them more malleable (thanks to introspection) and have taken to using them in my newer projects. For example, I use them here to integrate lenses into record type declarations: https://klaus.systemreboot.net/kaagum/blob/main/kaagum/records.scm Hope that helps! Regards, Arun
