diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -3,6 +3,8 @@
 
 [![FitSpec Build Status][build-status]][build-log]
 [![FitSpec on Hackage][hackage-version]][fitspec-on-hackage]
+[![FitSpec on Stackage LTS][stackage-lts-badge]][fitspec-on-stackage-lts]
+[![FitSpec on Stackage Nightly][stackage-nightly-badge]][fitspec-on-stackage-nightly]
 
 FitSpec provides automated assistance in the task of refining test properties
 for [Haskell] functions.  FitSpec tests mutant variations of functions under
@@ -159,3 +161,8 @@
 [hackage-version]: https://img.shields.io/hackage/v/fitspec.svg
 [fitspec-on-hackage]:                  https://hackage.haskell.org/package/fitspec
 [latest FitSpec version from Hackage]: https://hackage.haskell.org/package/fitspec
+[stackage-lts-badge]:            http://stackage.org/package/fitspec/badge/lts
+[stackage-nightly-badge]:        http://stackage.org/package/fitspec/badge/nightly
+[fitspec-on-stackage]:         http://stackage.org/package/fitspec
+[fitspec-on-stackage-lts]:     http://stackage.org/lts/package/fitspec
+[fitspec-on-stackage-nightly]: http://stackage.org/nightly/package/fitspec
diff --git a/TODO.md b/TODO.md
--- a/TODO.md
+++ b/TODO.md
@@ -4,12 +4,11 @@
 misc
 ----
 
-* (?) announce on mailing list (wait for Haddock to be ready)
-
 * parameterize number of tests in test programs and add slow-test target
 
 * add diff test for IO functions (diff w/ model output and exit status)
 
+* implement `toplibs` hack (from LeanCheck and Speculate);
 
 documentation
 -------------
@@ -19,9 +18,3 @@
 
 * write detailed install instructions on INSTALL.md
   (cabal install, cabal from sandbox, source include)
-
-
-v0.4.2
-------
-
-* implement `toplibs` hack (from LeanCheck and Speculate);
diff --git a/bench/Heap.hs b/bench/Heap.hs
--- a/bench/Heap.hs
+++ b/bench/Heap.hs
@@ -10,6 +10,9 @@
 instance Ord a => Eq (Heap a) where
   h1 == h2 = toList h1 == toList h2
 
+instance Ord a => Ord (Heap a) where
+  h1 `compare` h2 = toList h1 `compare` toList h2
+
 toList :: Ord a => Heap a -> [a]
 toList Nil = []
 toList h   = findMin h : toList (deleteMin h)
diff --git a/bench/heaps.hs b/bench/heaps.hs
--- a/bench/heaps.hs
+++ b/bench/heaps.hs
@@ -1,5 +1,4 @@
 {-# Language DeriveDataTypeable, NoMonomorphismRestriction #-}
-import System.Console.CmdArgs hiding (args)
 import Test.FitSpec
 import Prelude hiding (null)
 import qualified Data.List as L
diff --git a/bench/id.hs b/bench/id.hs
--- a/bench/id.hs
+++ b/bench/id.hs
@@ -1,5 +1,4 @@
 -- Example benchmark that mutation tests properties over the function id
-import System.Console.CmdArgs hiding (args)
 import Test.FitSpec
 
 type Ty a = a -> a
diff --git a/bench/list.hs b/bench/list.hs
--- a/bench/list.hs
+++ b/bench/list.hs
@@ -1,4 +1,3 @@
-import System.Console.CmdArgs hiding (args)
 import Test.FitSpec
 import Data.List
 
diff --git a/bench/mergeheaps.hs b/bench/mergeheaps.hs
--- a/bench/mergeheaps.hs
+++ b/bench/mergeheaps.hs
@@ -1,5 +1,4 @@
 {-# Language DeriveDataTypeable, NoMonomorphismRestriction #-}
-import System.Console.CmdArgs hiding (args)
 import Test.FitSpec
 import Prelude hiding (null)
 import qualified Data.List as L
diff --git a/bench/sieve.hs b/bench/sieve.hs
--- a/bench/sieve.hs
+++ b/bench/sieve.hs
@@ -1,5 +1,4 @@
 -- Example benchmark that mutation tests properties over an infinite list of primes
-import System.Console.CmdArgs hiding (args)
 import Test.FitSpec
 import Data.Maybe
 
diff --git a/bench/spring.hs b/bench/spring.hs
--- a/bench/spring.hs
+++ b/bench/spring.hs
@@ -1,4 +1,3 @@
-import System.Console.CmdArgs hiding (args)
 import Test.FitSpec
 import Data.List
 
diff --git a/fitspec.cabal b/fitspec.cabal
--- a/fitspec.cabal
+++ b/fitspec.cabal
@@ -1,5 +1,5 @@
 name:                fitspec
-version:             0.4.3
+version:             0.4.4
 synopsis:            refining property sets for testing Haskell programs
 description:
   FitSpec provides automated assistance in the task of refining test properties
@@ -29,7 +29,7 @@
                , TODO.md
                , doc/modules.md
                , doc/tutorial-property-creation.md
-tested-with: GHC==8.0, GHC==7.10, GHC==7.8, GHC==7.6, GHC==7.4
+tested-with: GHC==8.2, GHC==8.0, GHC==7.10, GHC==7.8, GHC==7.6, GHC==7.4
 
 source-repository head
   type:            git
@@ -38,7 +38,7 @@
 source-repository this
   type:            git
   location:        https://github.com/rudymatela/fitspec
-  tag:             v0.4.3
+  tag:             v0.4.4
 
 
 library
@@ -52,10 +52,10 @@
                  , Test.FitSpec.Derive
                  , Test.FitSpec.Main
                  , Test.FitSpec.TestTypes
-  other-modules: Test.FitSpec.Utils
-               , Test.FitSpec.PrettyPrint
-               , Test.FitSpec.Dot
-  build-depends: base >= 4 && < 5, leancheck >= 0.6, cmdargs, template-haskell
+                 , Test.FitSpec.Utils
+                 , Test.FitSpec.PrettyPrint
+  other-modules: Test.FitSpec.Dot
+  build-depends: base >= 4 && < 5, leancheck >= 0.7, cmdargs, template-haskell
   hs-source-dirs:    src
   default-language:  Haskell2010
 
@@ -63,52 +63,52 @@
 test-suite mutate
   type:                exitcode-stdio-1.0
   main-is:             test-mutate.hs
-  hs-source-dirs:      src, tests
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
+  hs-source-dirs:      tests
+  build-depends: base >= 4 && < 5, leancheck, fitspec
   default-language:    Haskell2010
 
 test-suite showmutable
   type:                exitcode-stdio-1.0
   main-is:             test-showmutable.hs
-  hs-source-dirs:      src, tests
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
+  hs-source-dirs:      tests
+  build-depends: base >= 4 && < 5, leancheck, fitspec
   default-language:    Haskell2010
 
 test-suite derive
   type:                exitcode-stdio-1.0
   main-is:             test-derive.hs
-  hs-source-dirs:      src, tests
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
+  hs-source-dirs:      tests
+  build-depends: base >= 4 && < 5, leancheck, fitspec
   default-language:    Haskell2010
 
 test-suite utils
   type:                exitcode-stdio-1.0
   main-is:             test-utils.hs
-  hs-source-dirs:      src, tests
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
+  hs-source-dirs:      tests
+  build-depends: base >= 4 && < 5, leancheck, fitspec
   default-language:    Haskell2010
 
 
 benchmark avltrees
   main-is:           avltrees.hs
   other-modules:     AVLTree
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
 benchmark bools
   main-is:           bools.hs
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
 benchmark digraphs
   main-is:           digraphs.hs
   other-modules:     Digraph
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
@@ -118,87 +118,87 @@
 --
 --benchmark haskell-src
 --  main-is:           haskell-src.hs
---  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell, haskell-src
---  hs-source-dirs:    src, bench
+--  build-depends: base >= 4 && < 5, fitspec, haskell-src
+--  hs-source-dirs:    bench
 --  default-language:  Haskell2010
 --  type:              exitcode-stdio-1.0
 --
 --benchmark haskell-src-exts
 --  main-is:           haskell-src-exts.hs
---  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell, haskell-src-exts
---  hs-source-dirs:    src, bench
+--  build-depends: base >= 4 && < 5, fitspec, haskell-src-exts
+--  hs-source-dirs:    bench
 --  default-language:  Haskell2010
 --  type:              exitcode-stdio-1.0
 
 benchmark heaps
   main-is:           heaps.hs
   other-modules:     Heap
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
 benchmark id
   main-is:           id.hs
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
 benchmark list
   main-is:           list.hs
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
 benchmark mergeheaps
   main-is:           mergeheaps.hs
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
 benchmark pretty
   main-is:           pretty.hs
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell, pretty
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec, pretty
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
 benchmark sets
   main-is:           sets.hs
   other-modules:     Set
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
 benchmark setsofsets
   main-is:           setsofsets.hs
   other-modules:     Set
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
 benchmark sieve
   main-is:           sieve.hs
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
 benchmark sorting
   main-is:           sorting.hs
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0
 
 benchmark spring
   main-is:           spring.hs
-  build-depends: base >= 4 && < 5, leancheck, cmdargs, template-haskell
-  hs-source-dirs:    src, bench
+  build-depends: base >= 4 && < 5, fitspec
+  hs-source-dirs:    bench
   default-language:  Haskell2010
   type:              exitcode-stdio-1.0