factorial = product . enumFromTo 1