Re: [Haskell-cafe] "GADT" rhymes with "cat"

"GADTs" always reminds me of the japanese word <gattsu>. <ガッツ> == <ga-tsu-tsu> == <gattsu>, spoken somehow like "gah-t--ts..." followed by a half spoken english "u" (second half). <gattsu> means in english "guts". that in mind, i was just GADDing in StarDict, which translates <gatsugatsu> with "burning with desire for something, greedily". hm. that explains how excited some people are about this extension. guts are important. - marc