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