fac n = product [1..n]