> 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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users