diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,8 @@
+1.0.2
+-----
+* Removed unneccesary constraint on `hoistScope`.
+
+
 1.0.1
 -----
 * Added a monomorphic `hoistScope` for `Bound.Scope.Simple`
diff --git a/bound.cabal b/bound.cabal
--- a/bound.cabal
+++ b/bound.cabal
@@ -1,6 +1,6 @@
 name:          bound
 category:      Language, Compilers/Interpreters
-version:       1.0.1
+version:       1.0.2
 license:       BSD3
 cabal-version: >= 1.9.2
 license-file:  LICENSE
diff --git a/src/Bound/Scope/Simple.hs b/src/Bound/Scope/Simple.hs
--- a/src/Bound/Scope/Simple.hs
+++ b/src/Bound/Scope/Simple.hs
@@ -233,7 +233,7 @@
 instantiate1 e = instantiate (const e)
 {-# INLINE instantiate1 #-}
 
-hoistScope :: Monad f => (f (Var b a) -> g (Var b a)) -> Scope b f a -> Scope b g a
+hoistScope :: (f (Var b a) -> g (Var b a)) -> Scope b f a -> Scope b g a
 hoistScope f = Scope . f . unscope
 {-# INLINE hoistScope #-}