diff --git a/free-http.cabal b/free-http.cabal
--- a/free-http.cabal
+++ b/free-http.cabal
@@ -1,6 +1,6 @@
 name:                free-http
 
-version:             0.1.0.2
+version:             0.1.1.0
 
 synopsis:            An HTTP Client based on Free Monads.
 
diff --git a/src/Network/HTTP/Client/Free.hs b/src/Network/HTTP/Client/Free.hs
--- a/src/Network/HTTP/Client/Free.hs
+++ b/src/Network/HTTP/Client/Free.hs
@@ -7,13 +7,13 @@
     -- * Type Families
     -- ** Base Request type
       RequestType
-    -- ** Base REsponse type
+    -- ** Base Response type
     , ResponseType
 
     -- * Types
-    -- ** The base free monad type
+    -- ** The base functor from which our free monad is generated.
     , HttpF(HttpF)
-    -- ** A type alias for 'FT (HttpF client) m a'
+    -- ** A helpful type alias
     , FreeHttp
 
     -- * smart constructors for http verbs
@@ -35,7 +35,6 @@
 import Network.HTTP.Types.Method (StdMethod(..))
 import Prelude hiding (head)
 
--- | smart constructors
 get :: Monad m
     => RequestType client
     -> FT (HttpF client) m (ResponseType client)
diff --git a/src/Network/HTTP/Client/Free/PureClient.hs b/src/Network/HTTP/Client/Free/PureClient.hs
--- a/src/Network/HTTP/Client/Free/PureClient.hs
+++ b/src/Network/HTTP/Client/Free/PureClient.hs
@@ -40,22 +40,22 @@
 -------------------------------------------------------------------------------
 -- | A pure interpreter based on a client-supplied mocking function
 runHttp :: Monad m
-        => ignore
+        => (RequestType client -> ResponseType client)
+        -> ignore
         -- ^ a parameter that will be ignored. It is included so client's can
         -- hot-swap interpreters (many will require a `Manager` type)
-        -> (RequestType client -> ResponseType client)
         -> FT (HttpF client) m a
         -> m a
-runHttp _ mock = iterT (iterTHttp mock)
+runHttp mock _ = iterT (iterTHttp mock)
 
 -------------------------------------------------------------------------------
 -- | A pure interpreter based on a client-supplied mocking function. The under-
 -- lying monad is `t m`, so computations will be lifted into `t m`.
 runTHttp :: (Monad m, MonadTrans t, Monad (t m))
-         => ignore
+         => (RequestType client -> ResponseType client)
+         -> ignore
          -- ^ a paramter that will be ignored. It is included so client's can
          -- host-swap interpreters (many will require a 'Manager' type)
-         -> (RequestType client -> ResponseType client)
          -> FT (HttpF client) m a
          -> t m a
-runTHttp _ mock = iterTM (iterTMHttp mock)
+runTHttp mock _ = iterTM (iterTMHttp mock)