fun factorial (n: int): int = do
    match n with
        | 0 -> return 1;
        | else return n * factorial(n - 1);
    end;
end;

fun main: void = do
    factorial(5) |> @write(_);
end;