add package constraints to match liquidhaskell