fac' c = product [1..c] -- TODO: sometodo [t]