fact :: Integer -> Integer
fact n = product [1 .. n]

main :: IO ()
main = putStrLn $ show (fact 9)