main = f 10 1;
f x acc = case x of 1 -> acc;
                    n -> (case acc * n of m -> f (n - 1) m)