diff --git a/library/Rebase/Control/Monad/List.hs b/library/Rebase/Control/Monad/List.hs
deleted file mode 100644
--- a/library/Rebase/Control/Monad/List.hs
+++ /dev/null
@@ -1,7 +0,0 @@
-module Rebase.Control.Monad.List
-(
-  module Control.Monad.List
-)
-where
-
-import Control.Monad.List
diff --git a/library/Rebase/Control/Selective/Trans/Except.hs b/library/Rebase/Control/Selective/Trans/Except.hs
new file mode 100644
--- /dev/null
+++ b/library/Rebase/Control/Selective/Trans/Except.hs
@@ -0,0 +1,7 @@
+module Rebase.Control.Selective.Trans.Except
+(
+  module Control.Selective.Trans.Except
+)
+where
+
+import Control.Selective.Trans.Except
diff --git a/library/Rebase/Prelude.hs b/library/Rebase/Prelude.hs
--- a/library/Rebase/Prelude.hs
+++ b/library/Rebase/Prelude.hs
@@ -148,10 +148,10 @@
 import Rebase.Control.Monad.Trans.Class as Exports
 import Rebase.Control.Monad.Trans.Cont as Exports hiding (shift, callCC)
 import Rebase.Control.Monad.Trans.Except as Exports (ExceptT(ExceptT), Except, except, runExcept, runExceptT, mapExcept, mapExceptT, withExcept, withExceptT)
-import Rebase.Control.Monad.Trans.Maybe as Exports
+import Rebase.Control.Monad.Trans.Maybe as Exports (MaybeT(MaybeT), mapMaybeT, maybeToExceptT, exceptToMaybeT)
 import Rebase.Control.Monad.Trans.Reader as Exports (Reader, runReader, mapReader, withReader, ReaderT(ReaderT), runReaderT, mapReaderT, withReaderT)
 import Rebase.Control.Monad.Trans.State.Strict as Exports (State, runState, evalState, execState, mapState, withState, StateT(StateT), runStateT, evalStateT, execStateT, mapStateT, withStateT)
-import Rebase.Control.Monad.Trans.Writer.Strict as Exports (Writer, runWriter, execWriter, mapWriter, WriterT(..), execWriterT, mapWriterT)
+import Rebase.Control.Monad.Trans.Writer.Strict as Exports (Writer, runWriter, execWriter, mapWriter, WriterT(WriterT), execWriterT, mapWriterT)
 
 -- mtl
 -------------------------
diff --git a/rebase.cabal b/rebase.cabal
--- a/rebase.cabal
+++ b/rebase.cabal
@@ -1,5 +1,5 @@
 name: rebase
-version: 1.16.1
+version: 1.17
 synopsis: A more progressive alternative to the "base" package
 description:
   This package is intended for those who are tired of keeping
@@ -76,7 +76,6 @@
     Rebase.Control.Monad.Fix
     Rebase.Control.Monad.Identity
     Rebase.Control.Monad.IO.Class
-    Rebase.Control.Monad.List
     Rebase.Control.Monad.Reader
     Rebase.Control.Monad.Reader.Class
     Rebase.Control.Monad.RWS
@@ -123,6 +122,7 @@
     Rebase.Control.Selective.Multi
     Rebase.Control.Selective.Rigid.Free
     Rebase.Control.Selective.Rigid.Freer
+    Rebase.Control.Selective.Trans.Except
     Rebase.Data.Biapplicative
     Rebase.Data.Bifoldable
     Rebase.Data.Bifunctor
@@ -445,7 +445,7 @@
     mtl >=2.2 && <2.4,
     profunctors >=5.6 && <5.7,
     scientific >=0.3 && <0.4,
-    selective >=0.5 && <0.6,
+    selective >=0.6 && <0.7,
     semigroupoids >=5.3 && <5.4,
     stm >=2.5 && <2.6,
     text >=1.2 && <1.3 || >=2.0 && <2.1,