diff --git a/ChannelT.cabal b/ChannelT.cabal
--- a/ChannelT.cabal
+++ b/ChannelT.cabal
@@ -1,5 +1,5 @@
 name:                ChannelT
-version:             0.0.0.5
+version:             0.0.0.6
 synopsis:            Generalized stream processors
 description:         A mutual generalization of <https://hackage.haskell.org/package/pipes pipes> and <https://hackage.haskell.org/package/machines machines>; a library for exploring a particular corner of the design space of streaming IO (and other related tasks) in Haskell.
 license:             BSD3
diff --git a/src/Control/Monad/Channel/Internal.hs b/src/Control/Monad/Channel/Internal.hs
--- a/src/Control/Monad/Channel/Internal.hs
+++ b/src/Control/Monad/Channel/Internal.hs
@@ -25,9 +25,6 @@
 import           Control.Monad.Trans.Free
 import           GHC.Generics
 
-instance (MonadBase b m, Functor f) => MonadBase b (FreeT f m) where
-  liftBase = liftBaseDefault
-
 instance Functor f => MFunctor (FreeT f) where
   hoist = hoistFreeT
 
@@ -46,7 +43,7 @@
 
 deriving instance MonadBase b m => MonadBase b (ChannelT sel m)
 
-data ChannelF (sel :: * -> * -> *) (x :: *) = forall (o :: *) (i :: *). SyncChannel
+data ChannelF (sel :: * -> * -> *) (x :: *) = forall (i :: *) (o :: *). SyncChannel
   { selectorF :: sel i o
   , outputF   :: o
   , inputF    :: i -> x