diff --git a/fixed-length.cabal b/fixed-length.cabal
--- a/fixed-length.cabal
+++ b/fixed-length.cabal
@@ -1,6 +1,6 @@
 Cabal-Version:    2.2
 Name:             fixed-length
-Version:          0.2.3
+Version:          0.2.3.1
 License:          BSD-3-Clause
 License-File:     LICENSE
 Author:           Henning Thielemann <haskell@henning-thielemann.de>
@@ -25,7 +25,7 @@
 Build-Type:       Simple
 
 Source-Repository this
-  Tag:         0.2.3
+  Tag:         0.2.3.1
   Type:        darcs
   Location:    https://hub.darcs.net/thielema/fixed-length/
 
@@ -37,7 +37,7 @@
   Build-Depends:
     tfp >=1.0 && <1.1,
     storable-record >=0.0.3 && <0.1,
-    transformers >=0.5 && <0.6,
+    transformers >=0.5 && <0.7,
     non-empty >=0.2 && <0.4,
     utility-ht >=0.0.1 && <0.1,
     base >=4 && <5
diff --git a/src/Data/FixedLength.hs b/src/Data/FixedLength.hs
--- a/src/Data/FixedLength.hs
+++ b/src/Data/FixedLength.hs
@@ -75,7 +75,7 @@
 
 infixr 5 !:
 
-(!:) :: {- (Natural n) => -} a -> T n a -> T (Unary.Succ n) a
+(!:) :: a -> T n a -> T (Unary.Succ n) a
 x !: Cons xs = Cons $ NonEmpty.Cons x xs
 
 viewL :: T (Unary.Succ n) a -> (a, T n a)
@@ -339,7 +339,7 @@
 curry =
    runCurry $
    Unary.switchNat
-      (Curry $ ($end))
+      (Curry $ ($ end))
       (Curry $ \f a -> curry $ \xs -> f (a!:xs))
 
 newtype Uncurry a b n = Uncurry {runUncurry :: Curried n a b -> T n a -> b}