Yeah it's a very complete project. And we saw "Look Ma No OS"[1] today on HN about Erlang/Elixir-on-Xen with the LING unikernel. But it is Haskell that I'm personally all hyped up about lately; and OS-less-ness is to me merely a potential secondary advantage of going back to "compiled" (I come from Ruby/Python before that Java before that C++).
My main reason for going with Haskell is that I know the costs of bugs, and feel that I get to old for fighting bugs on tight deadlines.
Well, I'd suggest that OCaml probably has similar bug fighting properties as Haskell. It depends a lot on how much you enjoy writing module existence proofs :)
If I had any genuine reason for a unikernel today I'd definitely go for Mirage.
