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

../../../../Prelude/Natural/product