CS 101c Lab02 Part A Question 8

factorial :: (Num x, Ord x) => x -> x
factorial a | a < 0 = error "Factorial not defined for negative numbers."
factorial 0 = 1
factorial a = a * (factorial (a - 1))