diff --git a/declarative.cabal b/declarative.cabal
--- a/declarative.cabal
+++ b/declarative.cabal
@@ -1,5 +1,5 @@
 name:                declarative
-version:             0.5.0
+version:             0.5.1
 synopsis:            DIY Markov Chains.
 homepage:            http://github.com/jtobin/declarative
 license:             MIT
@@ -65,12 +65,12 @@
     , kan-extensions    >= 5 && < 6
     , mcmc-types        >= 1.0.1
     , mwc-probability   >= 1.0.1
-    , mighty-metropolis >= 1.0.1
+    , mighty-metropolis >= 1.0.4
     , lens              >= 4 && < 5
     , primitive         >= 0.6 && < 1.0
     , pipes             >= 4 && < 5
-    , hasty-hamiltonian >= 1.1.1
-    , speedy-slice      >= 0.1.2
+    , hasty-hamiltonian >= 1.1.5
+    , speedy-slice      >= 0.1.5
     , transformers      >= 0.5 && < 1.0
 
 Test-suite rosenbrock
diff --git a/lib/Numeric/MCMC.hs b/lib/Numeric/MCMC.hs
--- a/lib/Numeric/MCMC.hs
+++ b/lib/Numeric/MCMC.hs
@@ -95,9 +95,9 @@
 import Control.Monad.Trans.State.Strict (execStateT)
 import Data.Sampling.Types
 import Numeric.MCMC.Anneal
-import Numeric.MCMC.Metropolis hiding (mcmc)
-import Numeric.MCMC.Hamiltonian hiding (mcmc)
-import Numeric.MCMC.Slice hiding (mcmc)
+import Numeric.MCMC.Metropolis (metropolis)
+import Numeric.MCMC.Hamiltonian (hamiltonian)
+import Numeric.MCMC.Slice (slice)
 import Pipes hiding (next)
 import qualified Pipes.Prelude as Pipes
 import System.Random.MWC.Probability (Gen)