diff --git a/llvm-dsl.cabal b/llvm-dsl.cabal
--- a/llvm-dsl.cabal
+++ b/llvm-dsl.cabal
@@ -1,6 +1,6 @@
 Cabal-Version:  2.2
 Name:           llvm-dsl
-Version:        0.2
+Version:        0.2.0.1
 License:        BSD-3-Clause
 License-File:   LICENSE
 Author:         Henning Thielemann <haskell@henning-thielemann.de>
@@ -33,7 +33,7 @@
   Location: https://hub.darcs.net/thielema/llvm-dsl/
 
 Source-Repository this
-  Tag:      0.2
+  Tag:      0.2.0.1
   Type:     darcs
   Location: https://hub.darcs.net/thielema/llvm-dsl/
 
@@ -56,7 +56,7 @@
     utility-ht >=0.0.15 && <0.1,
     unsafe >=0.0 && <0.1,
     prelude-compat >=0.0 && <0.0.1,
-    base >=3 && <5
+    base >=4.8 && <5
 
   Default-Language: Haskell98
   GHC-Options: -Wall
diff --git a/src/LLVM/DSL/Parameter.hs b/src/LLVM/DSL/Parameter.hs
--- a/src/LLVM/DSL/Parameter.hs
+++ b/src/LLVM/DSL/Parameter.hs
@@ -281,7 +281,6 @@
    f <*> a = Variable (\p -> get f p (get a p))
 
 instance Monad (T p) where
-   return = pure
    Constant x >>= f = f x
    Variable x >>= f =
       Variable (\p -> get (f (x p)) p)
