Candidates for liquidhaskell-cabal