Hails is a platform and web framework that leverages Information Flow Control (IFC) to support untrusted and mutually distrustful web applications interacting and processing private data.
You can compile Hails as usual with cabal-dev:
$ cabal-dev instal-deps
$ cabal-dev install