Records in Haskell

Brent Yorgey byorgey at
Sun Jan 1 07:52:08 CET 2012

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


More information about the Glasgow-haskell-users mailing list