../../../../../Prelude/Natural/product ([] : List Natural)