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