diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -34,11 +34,7 @@
 We use `absTypeModel` to get the canonical type of `Maybe Bool` and `pPrint` to print it nicely:
 
 ```haskell
-prt = pPrint -- . CompactPretty
-```
-
-```haskell
-prt $ absTypeModel (Proxy :: Proxy (Maybe Bool))
+pPrint $ absTypeModel (Proxy :: Proxy (Maybe Bool))
 -> Type:
 -> 
 -> Kda6836778fd4 K306f1981b41c:
@@ -63,7 +59,7 @@
 For example, a `Word7` (an unsigned integer of 7 bits length) is defined as an explicit enumeration of all the 128 different values that can fit in 7 bits:
 
 ```haskell
-prt $ absTypeModel (Proxy :: Proxy Word7)
+pPrint $ absTypeModel (Proxy :: Proxy Word7)
 -> Type:
 -> 
 -> Kf4c946334a7e:
@@ -89,7 +85,7 @@
 A `Word32` can be defined as a `NonEmptyList` list of `Word7`s (a definition equivalent to the [Base 128 Varints encoding](https://developers.google.com/protocol-buffers/docs/encoding#varints)).
 
 ```haskell
-prt $ absTypeModel (Proxy :: Proxy Word32)
+pPrint $ absTypeModel (Proxy :: Proxy Word32)
 -> Type:
 -> 
 -> K2412799c99f1:
@@ -131,7 +127,7 @@
 And finally a `Char` can be defined as a tagged `Word32`:
 
 ```haskell
-prt $ absTypeModel (Proxy :: Proxy Char)
+pPrint $ absTypeModel (Proxy :: Proxy Char)
 -> Type:
 -> 
 -> K066db52af145:
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -4,3 +4,7 @@
 - flat-0.3
 - mono-traversable-1.0.2
 - cryptonite-0.22
+
+#- cryptonite-0.23
+#- foundation-0.0.9
+#- memory-0.14.5
diff --git a/zm.cabal b/zm.cabal
--- a/zm.cabal
+++ b/zm.cabal
@@ -1,5 +1,5 @@
 name: zm
-version: 0.2.2
+version: 0.2.4
 synopsis: Language independent, reproducible, absolute types
 description:
     See the <http://github.com/tittoassini/zm online tutorial>.
@@ -30,9 +30,8 @@
         build-depends:
             ghcjs-base >=0.2 && <0.3
     else
-        build-depends:
-            cryptonite >=0.22 && <0.23,
-            memory >=0.13
+        build-depends: cryptonite >=0.22,memory >=0.13
+
     exposed-modules:
         Data.Digest.Keccak
         ZM