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