If ocaml is a language waiting for a killer app, this might be it: http://www.openmirage.org/

There was a presentation at the FP eXchange in London\nlast Friday about mirage and many a mind was blown!