Read the whole thing in anticipation of

> fac n = product [1..n]