diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -17,7 +17,7 @@
 Consumption is done in this data type:
 
 ``` haskell
-data Consumer s d a
+data Consumer s d m a
 ```
 
 ### Making descriptive consumers
@@ -214,9 +214,9 @@
           (Unit (Flag "dev" "Enable dev mode?")))
      (Unit (Arg "port" "Port to listen on"))
 λ> consume server ["start","any","--port","1234","--dev"]
-Succeeded ("start","any",True,"1234")
+Succeeded ((),"any",True,"1234")
 λ> consume server ["start","any","--port","1234"]
-Succeeded ("start","any",False,"1234")
+Succeeded ((),"any",False,"1234")
 λ>
 ```
 
diff --git a/descriptive.cabal b/descriptive.cabal
--- a/descriptive.cabal
+++ b/descriptive.cabal
@@ -1,5 +1,5 @@
 name:                descriptive
-version:             0.9.3
+version:             0.9.4
 synopsis:            Self-describing consumers/parsers; forms, cmd-line args, JSON, etc.
 description:         Self-describing consumers/parsers. See the README.md for more information. It is currently EXPERIMENTAL.
 stability:           Experimental
@@ -24,12 +24,12 @@
                      Descriptive.Options
                      Descriptive.JSON
   other-modules:     Descriptive.Internal
-  build-depends:     aeson
-                   , base >= 4 && <5
+  build-depends:     aeson >= 0.7.0.5
+                   , base >= 4.4 && <5
                    , bifunctors
-                   , containers
+                   , containers >= 0.5
                    , mtl
-                   , scientific
+                   , scientific >= 0.3.2
                    , text
                    , transformers
                    , vector