Snatch Mini-OS/Xen using Haskell and Ajhc compiler.