diff --git a/src/Data/Transaction.hs b/src/Data/Transaction.hs
--- a/src/Data/Transaction.hs
+++ b/src/Data/Transaction.hs
@@ -386,7 +386,7 @@
     Nothing -> tFilterMap f next
 tFilterMap _ (TNull ()) = TNull ()
 
-{- | An alias of `foldl` for convenience.
+{- | An alias of 'foldl' for convenience.
 -}
 reduce :: (b -> a -> b) -> b -> Transaction a -> b
 reduce = foldl
diff --git a/test/Spec.hs b/test/Spec.hs
--- a/test/Spec.hs
+++ b/test/Spec.hs
@@ -66,12 +66,12 @@
           (ofoldMap f a :: String) ==
           (ofoldMap f $ listToTrans a)
     describe "ofoldr" $ do
-      prop "is equivalent to list" $
+      modifyMaxSize (const 20) $ prop "is equivalent to list" $
         \f (a :: String) (mono :: [Int]) ->
           (ofoldr (applyFun2 f) a mono) ==
           (ofoldr (applyFun2 f) a $ listToTrans mono)
     describe "ofoldl'" $ do
-      prop "is equivalent to list" $
+      modifyMaxSize (const 20) $ prop "is equivalent to list" $
         \f (a :: String) (mono :: [Int]) ->
           (ofoldl' (applyFun2 f) a mono) ==
           (ofoldl' (applyFun2 f) a $ listToTrans mono)
@@ -130,7 +130,7 @@
           (ofor_ mono (f :: Int -> Maybe ())) ==
           (ofor_ (listToTrans mono) f)
     describe "ofoldlM" $ do
-      prop "is equivalent to list" $
+      modifyMaxSize (const 40) $ prop "is equivalent to list" $
         \f (a :: String) (mono :: [Int]) ->
           (ofoldlM (applyFun2 f) a mono :: Maybe String) ==
           (ofoldlM (applyFun2 f) a (listToTrans mono))
diff --git a/transaction.cabal b/transaction.cabal
--- a/transaction.cabal
+++ b/transaction.cabal
@@ -1,5 +1,5 @@
 name:                transaction
-version:             0.1.1.1
+version:             0.1.1.2
 synopsis:            Monadic representation of transactions.
 description:
     Monadic representation of transactions. Alike `List`, but can be declared with `do` notations.
@@ -33,7 +33,7 @@
   main-is:             Spec.hs
   build-depends:       base
                      , hspec >= 2.5 && < 3
-                     , mono-traversable
+                     , mono-traversable >= 1.0.0.1 && < 1.1
                      , QuickCheck >= 2.11 && < 3
                      , transaction
   ghc-options:         -threaded -rtsopts -with-rtsopts=-N