 n * factorial (n-1)
              else 1

-- where
factorial'' n' = helper 1 n'
   where helper 
factorial n = if n > 1
              then n * factorial (n-1)
              else 1
factorial n = if n > 1
              then n * factorial (n-1)
              else 1