Records in Haskell

[Brent Yorgey]

On Sun, Jan 01, 2012 at 01:22:31AM -0500, Matthew Farkas-Dyck wrote:
> > 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?

Unfortunately, I believe promotion of built-in types other than lists
and tuples has not yet been implemented.  In particular, Char cannot
yet be promoted.  However, there are no theoretical impediments to
implementing it that I know of and it should be possible in the
future.

-Brent