diff --git a/CHANGES.markdown b/CHANGES.markdown
--- a/CHANGES.markdown
+++ b/CHANGES.markdown
@@ -1,3 +1,14 @@
+0.3 (4 September 2014)
+----------------------
+
+  - Eta-reduce definition of `Rand`
+  - Remove unnecessary `Random a` constraint from types of `liftRand`
+    and `liftRandT`.
+
+  Note that a major version bump is required by the PVP since the
+  types of `liftRand` and `liftRandT` have changed, but this release
+  is highly unlikely to break any client code.
+
 0.2.0.1 (24 August 2014)
 ------------------------
 
diff --git a/Control/Monad/Random.hs b/Control/Monad/Random.hs
--- a/Control/Monad/Random.hs
+++ b/Control/Monad/Random.hs
@@ -88,13 +88,13 @@
                  return x
 
 -- | Lift arbitrary action to RandT
-liftRandT :: (Monad m, RandomGen g, Random a) =>
+liftRandT :: (Monad m, RandomGen g) =>
              (g -> m (a, g)) -- ^ action returning value and new generator state
              -> RandT g m a
 liftRandT = RandT . StateT
 
 -- | Lift arbitrary action to Rand
-liftRand :: (RandomGen g, Random a) =>
+liftRand :: (RandomGen g) =>
             (g -> (a, g)) -- ^ action returning value and new generator state
             -> Rand g a
 liftRand = RandT . liftState
@@ -121,7 +121,7 @@
 runRandT (RandT x) g = runStateT x g
 
 -- | A basic random monad.
-type Rand g a = RandT g Identity a
+type Rand g = RandT g Identity
 
 -- | Evaluate a random computation using the generator @g@.  Note that the
 -- generator @g@ is not returned, so there's no way to recover the
diff --git a/MonadRandom.cabal b/MonadRandom.cabal
--- a/MonadRandom.cabal
+++ b/MonadRandom.cabal
@@ -1,5 +1,5 @@
 name:                MonadRandom
-version:             0.2.0.1
+version:             0.3
 synopsis:            Random-number generation monad.
 description:         Support for computations which consume random values.
 license:             OtherLicense