The `opium_kernel` example I linked to above is running on top of https://github.com/dinosaure/paf-le-chien which is a mirage layer for httpaf. Opium itself has also moved to using httpaf as the underlying layer.
Seems OCaml/Mirage is the pretty far ahead in typed web dev using a unikernel.