diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -126,6 +126,7 @@
 Extrapolate was accepted for presentation at [IFL 2017],
 see the pre-symposium proceedings
 [paper about Extrapolate](https://matela.com.br/paper/extrapolate.pdf).
+Extrapolate is also subject to a chapter in a [PhD Thesis (2017)].
 
 [extrapolate-on-hackage]:          https://hackage.haskell.org/package/extrapolate
 [Extrapolate from Hackage]:        https://hackage.haskell.org/package/extrapolate
@@ -144,6 +145,7 @@
 [IFL 2017]:             http://iflconference.org/
 [SmartCheck]:           https://github.com/leepike/SmartCheck
 [Lazy SmallCheck 2012]: https://github.com/UoYCS-plasma/lazysmallcheck2012
+[PhD Thesis (2017)]: https://matela.com.br/paper/rudy-phd-thesis-2017.pdf
 
 [build-status]:    https://travis-ci.org/rudymatela/extrapolate.svg?branch=master
 [build-log]:       https://travis-ci.org/rudymatela/extrapolate
diff --git a/TODO.md b/TODO.md
--- a/TODO.md
+++ b/TODO.md
@@ -3,6 +3,8 @@
 
 A non-exhaustive list of things TO DO for Extrapolate.
 
+WARNING: This TO DO list is outdated.
+
 * `deriveGeneralizable` should `deriveListableIfNeeded`.
 
 examples
@@ -37,6 +39,16 @@
 
 feature
 -------
+
+* `deriveGeneralizableAtomic`: derive a generalizable value treating it as
+  atomic, as I did with the Map on the XMonad example.  To be used on datatypes
+  with data invariants.
+
+* `deriveGeneralizableFromTo`: derive a generalizable value using a bijection
+  passed as parameter so that a data invariant is not broken.  Example:
+
+    deriveGeneralizable ''Map fromList toList.
+
 
 * `background-exclusion`:
   add a mechanism to exclude functions from the background.
diff --git a/extrapolate.cabal b/extrapolate.cabal
--- a/extrapolate.cabal
+++ b/extrapolate.cabal
@@ -1,5 +1,5 @@
 name:                extrapolate
-version:             0.3.1
+version:             0.3.2
 synopsis:            generalize counter-examples of test properties
 description:
   Extrapolate is a tool able to provide generalized counter-examples of test
@@ -18,11 +18,11 @@
 maintainer:          Rudy Matela <rudy@matela.com.br>
 category:            Testing
 build-type:          Simple
-cabal-version:       >=1.18
+cabal-version:       1.18
 
 extra-doc-files: README.md
                , TODO.md
-tested-with: GHC==8.2, GHC==8.0, GHC==7.10, GHC==7.8
+tested-with: GHC==8.4, GHC==8.2, GHC==8.0, GHC==7.10, GHC==7.8
 
 source-repository head
   type:            git
@@ -31,7 +31,7 @@
 source-repository this
   type:            git
   location:        https://github.com/rudymatela/extrapolate
-  tag:             v0.3.1
+  tag:             v0.3.2
 
 library
   exposed-modules: Test.Extrapolate
@@ -45,9 +45,9 @@
                  , Test.Extrapolate.New
   other-extensions:    TemplateHaskell, CPP
   build-depends: base >= 4 && < 5
-               , leancheck >= 0.7
+               , leancheck >= 0.7.2
                , template-haskell
-               , speculate >= 0.3.2
+               , speculate >= 0.3.4
   hs-source-dirs:      src
   default-language:    Haskell2010