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