I think that with a bit more work, porting the Ocaml native compiler to Plan 9 would give you a bigger benefit than GHC (which is unwieldy) or an interpreter such as Hugs. Having a higher-level language in which to write native applications will, perhaps, give more people a viable reason to explore the system. Ocaml's compiler generates high-quality, reasonably fast code and a native port effort would be much less than the one for a similar Haskell compiler.
Just a thought.
