diff --git a/Control/DotDotDot.hs b/Control/DotDotDot.hs
--- a/Control/DotDotDot.hs
+++ b/Control/DotDotDot.hs
@@ -1,4 +1,4 @@
--- | Haskell operator @g ... f = \x1 .. xn -> g (f x1 .. xn)@. Compose
+-- | Haskell operator @g ... f = \\x1 .. xn -> g (f x1 .. xn)@. Compose
 -- functions such that all arguments are applied. Obviates @(.).(.)@ and
 -- similar patterns in some cases.
 --
@@ -49,14 +49,14 @@
 --
 
 instance DotDotDot b (IsFun b) => DotDotDot (a -> b) 'True where
-  type Return (_ -> b) 'True = Return b (IsFun b)
+  type Return (a -> b) 'True = Return b (IsFun b)
   type Replace (a -> b) r 'True = a -> Replace b r (IsFun b)
   (...) g f x = g ... f x
 --
 
 instance 'False ~ IsFun a => DotDotDot a 'False where
   type Return a 'False = a
-  type Replace _ r 'False = r
+  type Replace a r 'False = r
   (...) f x = f x
 --
 
diff --git a/control-dotdotdot.cabal b/control-dotdotdot.cabal
--- a/control-dotdotdot.cabal
+++ b/control-dotdotdot.cabal
@@ -1,43 +1,43 @@
--- Initial control-dotdotdot.cabal generated by cabal init.  For further 
--- documentation, see http://haskell.org/cabal/users-guide/
-
-name:                control-dotdotdot
-version:             0.1.0.0
-synopsis:            Haskell operator
-                     `g ... f = \x1 .. xn -> g (f x1 .. xn)`.
-description:         Haskell operator
-                     `g ... f = \x1 .. xn -> g (f x1 .. xn)`.
-                     Compose functions such that all arguments are
-                     applied. Obviates `(.).(.)` and similar patterns in
-                     some cases.
-homepage:            https://github.com/erisco/control-dotdotdot
-license:             BSD3
-license-file:        LICENSE
-author:              Eric Brisco
-maintainer:          eric.brisco@gmail.com
-category:            Control
-build-type:          Simple
-extra-source-files:  ChangeLog.md
-cabal-version:       >=1.10
-
-
-source-repository this
-  type:         git
-  location:     http://github.com/erisco/control-dotdotdot.git
-  tag:          0.1.0.0
-
-  
-library
-  
-  exposed-modules:     Control.DotDotDot
-  
-  other-extensions:    DataKinds
-                       FlexibleContexts
-                       FlexibleInstances
-                       MultiParamTypeClasses
-                       TypeFamilies
-                       UndecidableInstances
-  
-  build-depends:       base >=4.9 && <4.10
-  
-  default-language:    Haskell2010
+-- Initial control-dotdotdot.cabal generated by cabal init.  For further 
+-- documentation, see http://haskell.org/cabal/users-guide/
+
+name:                control-dotdotdot
+version:             0.1.0.1
+synopsis:            Haskell operator
+                     `g ... f = \x1 .. xn -> g (f x1 .. xn)`.
+description:         Haskell operator
+                     `g ... f = \x1 .. xn -> g (f x1 .. xn)`.
+                     Compose functions such that all arguments are
+                     applied. Obviates `(.).(.)` and similar patterns in
+                     some cases.
+homepage:            https://github.com/erisco/control-dotdotdot
+license:             BSD3
+license-file:        LICENSE
+author:              Eric Brisco
+maintainer:          eric.brisco@gmail.com
+category:            Control
+build-type:          Simple
+extra-source-files:  ChangeLog.md
+cabal-version:       >=1.10
+
+
+source-repository this
+  type:         git
+  location:     http://github.com/erisco/control-dotdotdot.git
+  tag:          v0.1.0.1
+
+  
+library
+  
+  exposed-modules:     Control.DotDotDot
+  
+  other-extensions:    DataKinds
+                       FlexibleContexts
+                       FlexibleInstances
+                       MultiParamTypeClasses
+                       TypeFamilies
+                       UndecidableInstances
+  
+  build-depends:       base >=4.9 && <9223372036854775807
+  
+  default-language:    Haskell2010