Re: [Haskell-cafe] Re: [Haskell] TABI 0.1: a typeful tagged cross-language calling convention