factorial : n -> when n is 0 then 1 _ then n * (factorial (n - 1)); y : factorial 3;