Type-stable levicivity and mapreduce on vector inputs.