Re: Records in Haskell

It seems to me that there's only one essential missing language feature, which is appropriately-kinded type-level strings

Isn't this possible now with type → kind promotion?

Cheers, Gershom

Cheers, (and Happy New Year), MFD