product = foldl (*) 1