diff --git a/bound-gen.cabal b/bound-gen.cabal
--- a/bound-gen.cabal
+++ b/bound-gen.cabal
@@ -1,5 +1,5 @@
 name:                bound-gen
-version:             0.1.0.0
+version:             0.1.0.1
 synopsis:            Unwrap Scope's with globally fresh values
 description:
             It's quite common when working with bound to need to unwrap a @Scope@.
diff --git a/src/Bound/Unwrap.hs b/src/Bound/Unwrap.hs
--- a/src/Bound/Unwrap.hs
+++ b/src/Bound/Unwrap.hs
@@ -59,7 +59,7 @@
 runUnwrap = runIdentity . runUnwrapT
 
 -- | Render a name unique within the scope of a monadic computation.
-freshify :: MonadUnwrap => Fresh a -> m (Fresh a)
+freshify :: MonadUnwrap m => Fresh a -> m (Fresh a)
 freshify nm = (\i -> nm{fresh = i}) <$> fmap getCounter gen
 
 -- | Create a name which is unique within the scope of a monadic