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