1 2 3 4 5 6 7
mul a b = code mul a b; sub a b = code sub a b; fac 0 = 1; fac n = mul n (fac (sub 1 n)); main = fac 5;