fact :: Rational -> Rational
fact 0 = 1
fact n = n * fact (n - 1)

fact_binomial :: Rational -> Rational -> Rational
fact_binomial a b = fact (a + b) / fact a / fact b

main = putStrLn $ show $ fact_binomial 800 800