church_to_int = c => c((x) => x + 1)(0)
int_to_church =  n =>
    n === 0 ? ZERO : SUCC(int_to_church(n - 1))
