-- Exercise 5.13 -- George C. Privon -- 2024-07-20 fact :: Integer -> Integer fact n = product [1..n]