No need for -package QuickCheck any more, it seems
No need for -package QuickCheck any more, it seems

(at least with cabal, lets see what stack on Travis thinks of this.)

antalsz/hs-to-coq,antalsz/hs-to-coq