diff --git a/codo-notation.cabal b/codo-notation.cabal
--- a/codo-notation.cabal
+++ b/codo-notation.cabal
@@ -1,8 +1,10 @@
 name:                codo-notation
-version:             0.5
+version:             0.5.2
 synopsis:            A notation for comonads, analogous to the do-notation for monads.
-description:         Requires the @TemplateHaskell@ and @QuasiQuotes@ extensions.
+description:         A notation for comonads, analogous to the do-notation for monads. 
 		     .
+		     Requires the @TemplateHaskell@ and @QuasiQuotes@ extensions.
+		     .
     		     Example 1:
 		     .
                      @        
@@ -57,8 +59,8 @@
   -- other-modules:       
   build-depends:       base >= 4.2 && < 5,
                        comonad >= 3,
-                       uniplate > 1.6,
                        template-haskell >= 2.7,
                        haskell-src-meta >= 0.5.1,
-                       parsec >= 3
+                       parsec >= 3,
+                       uniplate >= 1.6
   hs-source-dirs:      src
diff --git a/src/Language/Haskell/Codo.lhs b/src/Language/Haskell/Codo.lhs
--- a/src/Language/Haskell/Codo.lhs
+++ b/src/Language/Haskell/Codo.lhs
@@ -146,12 +146,11 @@
 >                                                  ($(envProj vars (transformM (doToCodo) e)) gamma,
 >                                                   extract gamma))) |]
 
-> codoBind ((LetS [ValD (VarP v) (NormalB e) []]):bs) vars = 
+> codoBind ((LetS [ValD p (NormalB e) []]):bs) vars = 
 >                                           [| (\gamma -> 
->                                                  $(letE [valD (varP $ v)
+>                                                  $(letE [valD (return p)
 >                                                   (normalB $ [| $(envProj vars (transformM (doToCodo) e)) gamma |]) []] [| $(codoBind bs vars) $(fv "gamma") |])) |]
 
-
 > codoBind ((BindS (VarP v) e):bs) vars = [| $(codoBind bs (v:vars)) . 
 >                                            (extend (\gamma ->
 >                                                       ($(envProj vars (transformM (doToCodo) e)) gamma,
@@ -161,7 +160,7 @@
 >                                                      $(return $ convert (concatMap patToVarPs ps) vars)  
 >                                                       ($(envProj vars (transformM (doToCodo) e)) gamma,
 >                                                        extract gamma))) |]
-> codoBind _ _ = error "Ill-formed codo bindings"
+> codoBind t _ = error "Ill-formed codo bindings"
 
 > doToCodo :: Exp -> Q Exp
 > doToCodo (LamE [VarP v] (DoE ((NoBindS (VarE n)):stmts)))