Demo of Liquid Haskell integration for Cabal and stack (see spinda/liquidhaskell-cabal) - View it on GitHub