Updating: improving monad-list and monad_maybe.