Add ((->) r') as a base monad for SelectT.

`Identity` is the obvious choice, but we can pass arguments below
`SelectT`.

We should be able to even use arbitrary `ReaderT` stacks below
`SelectT`.

Author: jumper149

Control/Monad/Select.hs

@@ -125,6 +125,9 @@ class (Monad m) => MonadSelect r m | m -> r where
 instance MonadSelect r (SelectT r Identity) where
   select = Select.select
 
+instance MonadSelect r (SelectT r ((->) r')) where
+  select f = SelectT $ \k r' -> f $ \ma -> k ma r'
+
 -- | \'Extends\' the possibilities considered by @m@ to include 'Nothing'; this
 -- means that 'Nothing' gains a \'rank\' (namely, a value of @r@), and the
 -- potential result could also be 'Nothing'.