Couldn't records be solved entirely at the type level?

[darkxero]

@BurningWitness

And, of course, there’s the fundamental issue that not all C structs are properly convertable to and from ADTs due to potential ambiguities and bit fields, so there simply is no existing solution for that issue.

I take this opportunity to shill inline-c, for lurkers.
And a recent example.
Love this package.