dhall-1.11.0: tests/normalization/examples/Natural/sum/0A.dhall

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