So much code everywhere is parsers and plumbing. Have it all generated, model-checked, proved, inspectable, debuggable... Pieter Hintjens said it better than I could https://github.com/imatix/gsl?tab=readme-ov-file#model-orien...