add package constraints to match liquidhaskell
Merge pull request #12 from gridaphobe/master

Add package constraints to match liquidhaskell