diff --git a/pipes-cereal-plus.cabal b/pipes-cereal-plus.cabal
--- a/pipes-cereal-plus.cabal
+++ b/pipes-cereal-plus.cabal
@@ -1,7 +1,7 @@
 name:
   pipes-cereal-plus
 version:
-  0.3.2
+  0.4.0
 synopsis:
   A streaming serialization library on top of "pipes" and "cereal-plus"
 license:
@@ -19,7 +19,7 @@
 copyright:
   (c) 2013, Nikita Volkov
 category:
-  Serialization
+  Serialization, Pipes
 build-type:
   Simple
 cabal-version:
@@ -42,48 +42,20 @@
     PipesCerealPlus.Prelude
   build-depends:
     -- Serialization:
-    cereal-plus >= 0.3.3 && < 0.4,
+    cereal-plus >= 0.3.2 && < 0.5,
     -- Streaming:
-    pipes-bytestring,
+    pipes-bytestring == 2.1.*,
     pipes >= 4.0 && < 4.2,
     -- Data:
     text,
     bytestring,
     -- Control:
-    errors,
-    mtl,
-    base >= 4.5 && < 5
+    errors == 1.4.*,
+    mtl >= 2 && < 2.3,
+    base >= 4.5 && < 4.8
+  ghc-options:
+    -funbox-strict-fields
   default-extensions:
-    Arrows
-    BangPatterns
-    ConstraintKinds
-    DataKinds
-    DefaultSignatures
-    DeriveDataTypeable
-    DeriveGeneric
-    EmptyDataDecls
-    FlexibleContexts
-    FlexibleInstances
-    FunctionalDependencies
-    GADTs
-    GeneralizedNewtypeDeriving
-    ImpredicativeTypes
-    LambdaCase
-    LiberalTypeSynonyms
-    MultiParamTypeClasses
-    MultiWayIf
-    NoImplicitPrelude
-    NoMonomorphismRestriction
-    OverloadedStrings
-    PatternGuards
-    QuasiQuotes
-    RankNTypes
-    RecordWildCards
-    ScopedTypeVariables
-    StandaloneDeriving
-    TemplateHaskell
-    TupleSections
-    TypeFamilies
-    TypeOperators
+    Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFunctor, DeriveGeneric, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, ImpredicativeTypes, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators, UnboxedTuples
   default-language:
     Haskell2010
diff --git a/src/PipesCerealPlus/Prelude.hs b/src/PipesCerealPlus/Prelude.hs
--- a/src/PipesCerealPlus/Prelude.hs
+++ b/src/PipesCerealPlus/Prelude.hs
@@ -2,7 +2,6 @@
   ( 
     module Exports,
     LazyByteString,
-    traceM,
   )
   where
 
@@ -25,7 +24,7 @@
 import Data.Ratio as Exports
 import Data.Fixed as Exports
 import Data.Ix as Exports
-import Data.Data as Exports
+import Data.Data as Exports (Data, Typeable)
 import Text.Read as Exports (readMaybe, readEither)
 import Control.Exception as Exports hiding (tryJust)
 import Control.Concurrent as Exports hiding (yield)
@@ -72,7 +71,3 @@
 
 
 type LazyByteString = Data.ByteString.Lazy.ByteString
-
-
-traceM :: (Monad m) => String -> m ()
-traceM s = trace s $ return ()