I was looking into some of this myself already; really helpful article and amazing results. Another interesting approach is to compile Haskell with HaLVM[1] in to a unikernel that can run on a Xen hypervisor. But this is a non-posix environment on which Haskell's "network" package does not compile. No "network" means that it is currently impossible[2] for WAI (Haskell's standard interface between web servers and applications), but also db libraries, to run in such an environment.<p>With going unikernel with Haskell still being a little steep (but definitely on my wish list), then the next-best would be a mini VM/container image. And 5MB sure is mini!<p>Once again, thanks FPComplete!<p>1: <a href="https://github.com/GaloisInc/HaLVM" rel="nofollow">https://github.com/GaloisInc/HaLVM</a><p>2: <a href="https://github.com/GaloisInc/HaLVM/issues/43" rel="nofollow">https://github.com/GaloisInc/HaLVM/issues/43</a>