../../../../../Prelude/Natural/sum [ +2, +3, +5 ]