Updating: improving monad_list and monad_maybe.