func left_factorial(n) {
    ^n -> reduce({ |a,b| a + b! }, 0)
}