diff --git a/library/Remotion/Util/Prelude.hs b/library/Remotion/Util/Prelude.hs
--- a/library/Remotion/Util/Prelude.hs
+++ b/library/Remotion/Util/Prelude.hs
@@ -46,7 +46,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 hiding (Proxy)
 import Text.Read as Exports (readMaybe, readEither)
 import Control.Exception as Exports hiding (tryJust, assert)
 import System.Mem.StableName as Exports
@@ -55,10 +55,10 @@
 import System.IO as Exports (Handle, hClose)
 import System.IO.Error as Exports
 import Unsafe.Coerce as Exports
-import GHC.Exts as Exports hiding (traceEvent)
+import GHC.Exts as Exports hiding (traceEvent, toList)
 import GHC.Generics as Exports (Generic)
 import GHC.IO.Exception as Exports
-import Debug.Trace as Exports hiding (traceIO)
+import Debug.Trace as Exports hiding (traceIO, traceM)
 import Data.IORef as Exports
 import Data.STRef as Exports
 import Control.Monad.ST as Exports
diff --git a/remotion.cabal b/remotion.cabal
--- a/remotion.cabal
+++ b/remotion.cabal
@@ -1,7 +1,7 @@
 name:
   remotion
 version:
-  0.1.0
+  0.2.0
 synopsis:
   A library for client-server applications based on custom protocols
 description:
@@ -11,8 +11,6 @@
   It allows the user to implement protocols of any form.
 
   Useful for writing all kinds of services. 
-  E.g., a <http://hackage.haskell.org/package/graph-db graph-db> 
-  networking interface is based on this library.
 category:
   Network, Service, Protocol
 homepage:
@@ -57,20 +55,20 @@
   build-depends:
     -- streaming:
     pipes >= 4.0 && < 4.2,
-    pipes-bytestring == 2.0.*,
-    pipes-cereal-plus >= 0.3.2 && < 0.4,
-    pipes-parse > 3.0.0,
+    pipes-bytestring >= 2.0 && < 2.2,
+    pipes-cereal-plus >= 0.4 && < 0.5,
+    pipes-parse >= 3.0.2 && < 3.1,
     -- networking:
-    network == 2.4.*,
-    network-simple == 0.3.*,
+    network >= 2.4 && < 2.7,
+    network-simple >= 0.3 && < 0.5,
     pipes-network == 0.6.*,
     -- file-system:
     filelock == 0.1.*,
-    directory,
-    system-fileio,
-    system-filepath,
+    directory >= 1.2 && < 1.3,
+    system-fileio == 0.3.*,
+    system-filepath == 0.4.*,
     -- concurrency:
-    lifted-async == 0.1.*,
+    lifted-async >= 0.1 && < 0.3,
     async == 2.0.*,
     concurrent-extra == 0.7.*,
     stm,
@@ -87,49 +85,18 @@
     monad-control == 0.3.*,
     loch-th == 0.2.*,
     placeholders == 0.1.*,
-    errors >= 1.4.4,
-    mtl,
-    base >= 4.5 && < 5
+    errors >= 1.4.4 && < 1.5,
+    mtl >= 2.0 && < 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
 
 
 test-suite remotion-htf-test-suite
-  ghc-options:
-    -threaded
-    "-with-rtsopts=-N"
   type:             
     exitcode-stdio-1.0
   hs-source-dirs:   
@@ -140,31 +107,30 @@
     remotion,
     -- testing:
     quickcheck-instances,
-    QuickCheck-GenT == 0.1.*,
     QuickCheck,
     HUnit,
-    HTF == 0.11.*,
+    HTF >= 0.12.2.1 && < 0.13,
     -- streaming:
-    pipes >= 4.0 && < 4.2,
-    pipes-bytestring == 2.0.*,
-    pipes-cereal-plus >= 0.3.2 && < 0.4,
-    pipes-parse > 3.0.0,
+    pipes,
+    pipes-bytestring,
+    pipes-cereal-plus,
+    pipes-parse,
     -- networking:
-    network == 2.4.*,
-    network-simple == 0.3.*,
-    pipes-network == 0.6.*,
+    network,
+    network-simple,
+    pipes-network,
     -- file-system:
-    filelock == 0.1.*,
+    filelock,
     directory,
     system-fileio,
     system-filepath,
     -- concurrency:
-    lifted-async == 0.1.*,
-    async == 2.0.*,
-    concurrent-extra == 0.7.*,
+    lifted-async,
+    async,
+    concurrent-extra,
     stm,
     -- data:
-    hashtables == 1.1.*,
+    hashtables,
     time,
     old-locale,
     containers,
@@ -172,44 +138,18 @@
     text,
     bytestring,
     -- control:
-    transformers-base == 0.4.*,
-    monad-control == 0.3.*,
-    loch-th == 0.2.*,
-    placeholders == 0.1.*,
-    errors >= 1.4.4,
+    transformers-base,
+    monad-control,
+    loch-th,
+    placeholders,
+    errors,
     mtl,
-    base >= 4.5 && < 5
+    base
+  ghc-options:
+    -funbox-strict-fields
+    -threaded
+    "-with-rtsopts=-N"
   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