> 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