Re: [Haskell-cafe] Gödel's System T