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

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