I think it would be fairly interesting - given time - to provide 1st class support for ocaml and haskell and see which is most sane to tool