[Haskell-cafe] LLVM study SoC proposal