func left_factorial(n) {
    ^n -> sum { _! }
}