В Haskell есть XMonad, в CommonLisp есть StampWM. Если есть один, разработанный с использованием OCaml, он должен быть быстрее этих двух.
С уважением!