Made monad combinators public
Tweak to Select - implemented in terms of Map instead of LiftM