dhall-1.18.0: tests/typecheck/examples/Monoid/07A.dhall

(../../../../Prelude/package.dhall).`Natural`.product