Re: [Haskell-cafe] LLVM, type-level?