let factorial: fun(int) int = fun(n)
  n == 0 ? 1 : n * factorial(n - 1)