[Haskell-cafe] Metaprogramming in Haskell vs. Ocaml