Candidates for liquidhaskell-cabal-demo