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

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