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