func left_fact(k) {
    ^k -> map {|n| n! } -> sum
}