Control.Monad.Trans.Select
type Select r
select
runSelect
mapSelect
data SelectT r m a
runSelectT
mapSelectT
selectToContT
selectToCont